doc/make-infos: remove leading underscores from filenames.