diff mbox

[libstdc++,doc] doc/xml/manual/profile_mode.xml: Update a paper reference

Message ID alpine.LSU.2.20.1702102320170.2253@anthias.pfeifer.com
State New
Headers show

Commit Message

Gerald Pfeifer Feb. 10, 2017, 10:21 p.m. UTC
Not there yet, but getting close...

Applied.

Gerald

2017-02-10  Gerald Pfeifer  <gerald@pfeifer.com> 

	* doc/xml/manual/profile_mode.xml: Update a paper reference.

Comments

Joseph Myers Feb. 10, 2017, 11:53 p.m. UTC | #1
On Fri, 10 Feb 2017, Gerald Pfeifer wrote:

> -   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://dx.doi.org/10.1109/CGO.2009.36">paper presented at
> +   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://ieeexplore.ieee.org/document/4907670/">paper presented at

dx.doi.org is specifically supposed to provide permanent URLs that 
continue to work even if e.g. a journal changes publisher and the old 
publisher fails to redirect for individual papers itself.  I'm not 
convinced that replacing a link to such a URL with a link to the current 
redirection target is a good idea.
Gerald Pfeifer Feb. 20, 2017, 1:37 p.m. UTC | #2
On Fri, 10 Feb 2017, Joseph Myers wrote:
>> -   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://dx.doi.org/10.1109/CGO.2009.36">paper presented at
>> +   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://ieeexplore.ieee.org/document/4907670/">paper presented at
> dx.doi.org is specifically supposed to provide permanent URLs that 
> continue to work even if e.g. a journal changes publisher and the 
> old publisher fails to redirect for individual papers itself.  I'm 
> not convinced that replacing a link to such a URL with a link to the 
> current redirection target is a good idea.

You make a good point, Joseph, though I'd argue that my trust in 
ieee.org being around ten years from now exceed my trustin dx.doi.org
(especially after the citeseer cleanup I ended up working last weekend).

For now I am thinking to keep this link (to ieee.org), but have started
to convert all citeseer references to dx.doi.org and copied you on my
initial patch in that direction.  Let's hope that service is going to
remain stable and reliable.


One aspect I do not like too much about such a forwarding service is
that it means one of the benefits of link checking (discovering a site 
we point to going rogue) is quite reduced since every link to dx.doi.org
is going to redirect, by definition.

(Note, that is not an academic concern.  We've had such cases in the
past.)

Gerald
diff mbox

Patch

Index: doc/xml/manual/profile_mode.xml
===================================================================
--- doc/xml/manual/profile_mode.xml	(revision 245348)
+++ doc/xml/manual/profile_mode.xml	(working copy)
@@ -328,7 +328,7 @@ 
 
   <para>
   For details, see
-   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://dx.doi.org/10.1109/CGO.2009.36">paper presented at
+   <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://ieeexplore.ieee.org/document/4907670/">paper presented at
    CGO 2009</link>.
   </para>
 </section>