summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2001-09-11 14:48:32 +0000
committerMarcus Brinkmann <marcus@gnu.org>2001-09-11 14:48:32 +0000
commitfc042659aa893a73688a574242aa348085d18102 (patch)
tree43af6442ef17d5e41871ed8d5374d9c92cbc2f25
parent1e0a59699bf885faa4f2ff7b95db0c398f803b17 (diff)
For the reference manual texinfo sources, link to the HEAD revision in CVS
rather than the local copy. Suggested by Neal H Walfield.
-rw-r--r--docs.html6
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>).