From fc042659aa893a73688a574242aa348085d18102 Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Tue, 11 Sep 2001 14:48:32 +0000 Subject: For the reference manual texinfo sources, link to the HEAD revision in CVS rather than the local copy. Suggested by Neal H Walfield. --- docs.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs.html') diff --git a/docs.html b/docs.html index 3b5c880f..1e13a8d4 100644 --- a/docs.html +++ b/docs.html @@ -72,9 +72,9 @@ for download

If you wish to help work on the manual, you may also download the Texinfo sources -(hurd.texi [193k], -gpl.texinfo [18k], -and version.texi). +(hurd.texi [193k], +gpl.texinfo [18k], +and version.texi). Then, you should submit any modifications to bug-hurd@gnu.org in unidiff format (produced by diff -u). -- cgit v1.2.3