Documentation / .gitignoreon commit Merge branch 'master' (77131db)
   1*.xml
   2*.html
   3*.1
   4*.7
   5howto-index.txt
   6doc.dep