X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README;h=a16158b869afbf0475450bb2bd70979d3b480973;hb=0db7a98b55853dd99701c95dffb3ecb97cee5343;hp=9ab9d07b06d5398299bbe5feec262938ffed81c8;hpb=1d2780996f3f615c2ea19ddfc1c9e1592fa64b70;p=pspp-builds.git

diff --git a/README b/README
index 9ab9d07b..a16158b8 100644
--- a/README
+++ b/README
@@ -35,6 +35,9 @@ PSPP, you will need to install certain prerequisites:
       have these installed, you must run `configure' with
       --without-gui.
 
+    * Optional: Texinfo 4.7 or later, if you want to build the
+      documentation in PostScript or PDF format.
+
 For information on differences from previous versions, please see file
 NEWS.  Full documentation on PSPP's language can be found in the doc/
 directory.