doc/src/user/.gitignore

   1 # don't stash generated things
   2 *.ps
   3 *.rst
   4 *.txt
   5 *.md
   6 *.html
   7 *.eps
   8
   9 # don't stash intermediate things
  10 *.sp
  11 *.ca
  12 *.toc
  13 *.bcnfile
  14
  15 # don't stash backups
  16 *-
  17 *.bak