From: Ben Pfaff <blp@gnu.org>
Date: Mon, 27 Nov 2006 01:09:45 +0000 (+0000)
Subject: Add note about Texinfo.
X-Git-Tag: sav-api~1692
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=69e440eca02459a1c44a33d5bf5438dfbe56979d;p=pspp

Add note about Texinfo.
---

diff --git a/README.CVS b/README.CVS
index b4d487e93b..aafa7158cd 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