[PATCH v4 3/3] docs: Remove docs for non-existing uppermem command

Remove all documentation of and mentions of the uppermem command from the docs/grub.texi file. The uppermem command is not implemented in the GRUB source at all and appears to never have been implemented despite former plans to add an uppermem command. To reduce user confusion, this even removes

[PATCH v4 1/3] docs: Add grub command documentation checks

This adds the docs/check-commands.py script which checks whether grub commands implemented in the git source tree are documented in docs/grub.texi and vice versa. During a standard "make" command, BUILT_SOURCES makes sure that docs/undocumented-commands.texi will be created (if it does not exist

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

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

[PATCH v4 2/3] docs: Remove docs for non-existing pxe_unload command

Remove the documentation of the pxe_unload command from the docs/grub.texi file. The pxe_unload command is not implemented in the grub source at this time at all. It appears to have been removed in commit 71a78acb0648d3d73c95ab0f021f907499aacc0 (from 2011-07-05). Signed-off-by: Hans Ulrich