Documentation / .gitignoreon commit Merge refs/heads/master from . (b033b4e)
   1*.xml
   2*.html
   3*.1
   4*.7
   5howto-index.txt