Utility to regenerate the GNU info page index
