doc/.gitignore

   1 manual
   2 include
   3 # hmm, doc/*.{aux,cp,etc} doesn't work
   4 *.aux
   5 *.cp
   6 *.cps
   7 *.fn
   8 *.info
   9 *.ky
  10 *.log
  11 *.pg
  12 *.toc
  13 *.tp
  14 *.vr
  15 *.vrs