doc/.gitignore

   1 install.html
   2 install.info
   3 install.pdf
   4 install.txt
   5 manual.html
   6 manual.pdf
   7 manual_html
   8 yacasl2.info
   9 casl2_spec.html