summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Brinkmann <marcus@gnu.org>2001-11-02 17:05:33 +0000
committerMarcus Brinkmann <marcus@gnu.org>2001-11-02 17:05:33 +0000
commitdc9af8e1e0e960a3e3ce845f592f48f098b900fa (patch)
tree2c167680bd19098637efd64824a2d6b514771882
parent11dd61649425237ba0836a978e6ad7ce2261d05c (diff)
fix the wording a bit
-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>).