[PATCH 0/3 v3] docs: Document list of undocumented commands

[Hans Ulrich Niedermann]

This patchset adds a script to the buildsystem which determines
the lists of grub commands implemented in the source code and
the list of grub commands documented in grub.info and documents
the differences.

For that matter, the script will autogenerate a list of the
undocumented commands to be included in grub.info, so that the
undocumented commands are at least listed there so users have
a point to start researching. If the command is at least
mentioned somewhere withing grub.texi, that will be noted.

The two commands which were documented in grub.info but not
implemented in the source code are removed from grub.texi in
separate patches in the patchset.

For conflict free merging, this patchset requires my gitignore
patchset as it adds a gitignore pattern for the file it generates.

The main differences to the previous versions ('' and 'v2) of
this patchset are:

  * Added usage comments to the check-commands.py script

  * Use more descriptive variable names in check-commands.py

  * If a command is mentioned somewhere in grub.texi, we now
    add a remark about that to the autogenerated "this command
    is undocumented" documentation stub.

Hans Ulrich Niedermann (3):
  docs: Add grub command documentation checks
  docs: Remove docs for non-existing pxe_unload command
  docs: Remove docs for non-existing uppermem command

 .gitignore             |   1 +
 docs/Makefile.am       |  16 +++-
 docs/check-commands.py | 205 +++++++++++++++++++++++++++++++++++++++++
 docs/grub.texi         |  28 +-----
 4 files changed, 223 insertions(+), 27 deletions(-)
 create mode 100644 docs/check-commands.py

-- 
2.25.3