diff README @ 18920:b4384fe86bd2

README: Don't ask people to read a TeXinfo file. Reported by Tim Rühsen <tim.ruehsen@gmx.de>. * README: Tell people how to read the HTML formatted manual.
author Bruno Haible <bruno@clisp.org>
date Wed, 17 May 2017 10:14:07 +0200
parents b1657348957e
children
line wrap: on
line diff
--- a/README	Wed May 17 10:02:39 2017 +0200
+++ b/README	Wed May 17 10:14:07 2017 +0200
@@ -1,1 +1,9 @@
-Please see doc/gnulib-readme.texi for basic information about Gnulib.
+Please create and read the docs with
+
+  $ cd doc
+  $ make gnulib.html
+  $ xdg-open gnulib.html
+
+or read the online manual at
+
+  https://www.gnu.org/software/gnulib/manual/gnulib.html