From: Ben Pfaff Date: Mon, 27 Nov 2006 01:09:45 +0000 (+0000) Subject: Add note about Texinfo. X-Git-Tag: v0.6.0~684 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=69e440eca02459a1c44a33d5bf5438dfbe56979d Add note about Texinfo. --- diff --git a/README.CVS b/README.CVS index b4d487e9..aafa7158 100644 --- a/README.CVS +++ b/README.CVS @@ -12,6 +12,8 @@ following: Note that Gnulib does not require any form of installation: simply checking it out into a directory is sufficient. + * Texinfo 4.7 or later, to build the documentation. + Once you have these installed, execute make -f Smake If you checked Gnulib out in a directory named `gnulib' at the same