X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.CVS;h=aafa7158cd8cd7afdc61ff5e7caf4740aed036dc;hb=2997cc6481d0744e910eccb6f23d56efe93d32d3;hp=b4d487e93b0f53bf51ed7c2fe643d400947f02b4;hpb=f695e5a25fb738df5b20d296b9151b500e71fdc1;p=pspp

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