*.xml *.html *.[1-8] *.made *.texi git.info gitman.info howto-index.txt doc.dep cmds-*.txt