Regenerating menus

If you are using Emacs to edit Texinfo files, you can use the key sequence C-c C-u C-a to regenerate @menu blocks automatically. Otherwise, run

scripts/auxiliar/node-menuify.sh filename

The node-menuify.sh script just drives Emacs behind the scenes, so it requires Emacs to be installed.