Nicolas Williams c667c28f61 doc: Revert part of 0878a568f9 for Texinfo 5.1 ...

0878a568f9 fixed a warning from Texinfo 6.7:

    doc/whatis.texi:33: warning: redefining Texinfo language command: @sub

but the fix makes the doc build fail w/ Texinfo 5.1.

There may still be other problems when using Texinfo 5.1.

2022-03-23 15:13:36 -05:00

8.2 KiB

Raw Blame History

View Raw