documentation: Fix build with some versions of makeinfo.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 22 Feb 2020 19:50:16 +0000 (19:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 22 Feb 2020 19:50:16 +0000 (19:50 +0000)
commit90731b37a52eb7cf33cf0ead99e8d19ba9b2204b
tree33c4bf6338dd64304fb87f5a3e38952508cfa3ef
parent940770031151234eb947998ad79498a5ff827200
documentation: Fix build with some versions of makeinfo.

Reported by Jeremy Lavergne.
doc/pspp-output.texi