Small utility designed to regenerate the GNU info page indexes