Documentation / .gitignoreon commit Merge branch 'jc/merge-subtree' (58fe516)
   1*.xml
   2*.html
   3*.1
   4*.7
   5*.made
   6howto-index.txt
   7doc.dep
   8cmds-*.txt