Re: [wwwdocs] Update five citeseer.ist.psu.edu references in news/profiledriven.html

2017-03-25 Thread Gerald Pfeifer
On Fri, 24 Mar 2017, Gerald Pfeifer wrote: > Update four citeseer.ist.psu.edu references with doi.org and one > with an updated one. And here are two more. Applied as well. Gerald Index: news/profiledriven.html === RCS file: /cvs/g

[wwwdocs] Update five citeseer.ist.psu.edu references in news/profiledriven.html

2017-03-24 Thread Gerald Pfeifer
Update four citeseer.ist.psu.edu references with doi.org and one with an updated one. Applied. Gerald Index: news/profiledriven.html === RCS file: /cvs/gcc/wwwdocs/htdocs/news/profiledriven.html,v retrieving revision 1.10 diff -u -r