documentation: Fix build with some versions of makeinfo.

Reported by Jeremy Lavergne.

diff --git a/doc/pspp-output.texi b/doc/pspp-output.texi
index 38c72d3aa702d44e07afd51962939a9b2773cdc3..4b9aeb203e4e944b80b524d66c55456688ca262c 100644 (file)
--- a/doc/pspp-output.texi
+++ b/doc/pspp-output.texi
@@ -38,6 +38,13 @@ Each of these forms is documented separately below.
 @command{pspp-output} also has several undocumented command forms that
 developers may find useful for debugging.
 
+@menu
+* The pspp-output detect Command::
+* The pspp-output dir Command::
+* The pspp-output convert Command::
+* Input Selection Options::
+@end menu
+
 @node The pspp-output detect Command
 @section The @code{detect} Command