summaryrefslogtreecommitdiff
path: root/docs.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs.html')
-rw-r--r--docs.html4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs.html b/docs.html
index 62b87eae..9a0cbe84 100644
--- a/docs.html
+++ b/docs.html
@@ -78,8 +78,8 @@ for download
</LI>
</UL>
<P>
-If you wish to help work on the manual, you may also download the
-Texinfo sources
+If you want to work on the manual, you may also download the Texinfo
+sources
(<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>).