Utility to regenerate the GNU info page index - View it on GitHub