X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README.Git;h=8333600457eba7e3b99a3be97e16a1b302e1f03d;hb=00a0a46dcdb3bf9e93200a145df94ff24d2d35d4;hp=c314e73f423a220e11e3dea0fe87b9e1ff4f9897;hpb=ab97e700f033db654e2f44919c73973d13b0c522;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