doc: Revert part of 0878a568f9e for Texinfo 5.1
authorNicolas Williams <nico@twosigma.com>
Wed, 23 Mar 2022 20:11:33 +0000 (15:11 -0500)
committerNicolas Williams <nico@twosigma.com>
Wed, 23 Mar 2022 20:13:36 +0000 (15:13 -0500)
commitc667c28f61fd5dc8cc4c79672d53852e024a66c1
treee5e115ab0898b3f7c06e9b20dda50354d0e3dbce
parent2f6a2762512e97793009dced24d1c798d9fac4e6
doc: Revert part of 0878a568f9e for Texinfo 5.1

0878a568f9e 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.
doc/whatis.texi