X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=README;fp=README;h=a16158b869afbf0475450bb2bd70979d3b480973;hb=1df57ebe2d19bb0e05c0a648fdc92e5af6c1c0a5;hp=9ab9d07b06d5398299bbe5feec262938ffed81c8;hpb=19d0debdc5b72e1bb6c79956403a4d3bc054f300;p=pspp

diff --git a/README b/README
index 9ab9d07b06..a16158b869 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.