- later. Without them, the GUI will not be built. If you do have
- these installed, you must run `configure' with --without-gui.
+ later. Without them, the GUI will not be built. If you do not
+ 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.