Re: [wwwdocs] Knuth's pages have moved, adjust URLs

Oh, and the patch also removed a link to his home page. Enough links in place already. Gerald

[wwwdocs] Knuth's pages have moved, adjust URLs

Applied. Gerald Index: readings.html === RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v retrieving revision 1.239 diff -u -r1.239 readings.html --- readings.html 27 Jun 2015 19:26:46 - 1.239 +++ readings.html