I see where you are coming from. However, your concern would also apply (say)
to
unimplemented subcommands of existing commands. We don't list those. Also, I'm
not proposing to remove the list entirely - only from the manual. So if
somebody
(for example) tries to issue the command "EDIT" th
This step of Ben's buildbot uses the gendocs.sh script to build
the manual.
Since f1141d27ca616a8c8edc2a1f18067085ceaaf448 there are some new
source files. So the buildbot script will need to add some options
to gendocs.sh similar to:
-I $(top_builddir)/doc/examples -I $(top_srcdir)/doc/exampl
The nightly build fails since:
https://pspp.benpfaff.org/~blp/pspp-master/20201012050501/source/
due to build failure of the manual.
