For the reference manual texinfo sources, link to the HEAD revision in CVS

rather than the local copy.  Suggested by Neal H Walfield.

1 files changed, 3 insertions, 3 deletions

diff --git a/docs.html b/docs.html
index 3b5c880f..1e13a8d4 100644
--- a/docs.html
+++ b/docs.html
@@ -72,9 +72,9 @@ for download
 <P>
 If you wish to help work on the manual, you may also download the
 Texinfo sources
-(<A HREF="/software/hurd/doc/hurd.texi"><SAMP>hurd.texi</SAMP> [193k]</A>,
-<A HREF="/software/hurd/doc/gpl.texinfo"><SAMP>gpl.texinfo</SAMP> [18k]</A>,
-and <A HREF="/software/hurd/doc/version.texi"><SAMP>version.texi</SAMP></A>).
+(<A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/hurd.texi?rev=HEAD"><SAMP>hurd.texi</SAMP> [193k]</A>,
+<A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/gpl.texinfo?rev=HEAD"><SAMP>gpl.texinfo</SAMP> [18k]</A>,
+and <A HREF="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/hurd/hurd/doc/version.texi?rev=HEAD"><SAMP>version.texi</SAMP></A>).
 Then, you should submit any modifications to
 <A HREF="mailto:bug-hurd@gnu.org">bug-hurd@gnu.org</A> in unidiff format
 (produced by <SAMP>diff -u</SAMP>).