X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.Git;h=8333600457eba7e3b99a3be97e16a1b302e1f03d;hb=000e9b61f0acc611f03f27a8f068a9ccf4910e0b;hp=c314e73f423a220e11e3dea0fe87b9e1ff4f9897;hpb=3ccf4f19ece6c4da5a2d13173c032011faf330b8;p=pspp

diff --git a/README.Git b/README.Git
index c314e73f42..8333600457 100644
--- a/README.Git
+++ b/README.Git
@@ -21,7 +21,7 @@ following:
 
 	* libtool 1.5.22 (or later).
 
-	* Texinfo 4.7 or later, to build the documentation.
+	* Texinfo 5.2 or later, to build the documentation.
 
 	* Gimp --  2.8.2 is known to work