Documentation / .gitignoreon commit Add Documentation/cmd-list.made to .gitignore (24c64d6)
   1*.xml
   2*.html
   3*.1
   4*.7
   5*.made
   6howto-index.txt
   7doc.dep
   8cmds-*.txt