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