diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d207238 --- /dev/null +++ b/.gitignore @@ -0,0 +1,23 @@ +/doc/chap*.html +/doc/chap*.txt +/doc/*.css +/doc/*.js +/doc/chooser.html +/doc/*.aux +/doc/*.bbl +/doc/*.blg +/doc/*.brf +/doc/*.idx +/doc/*.ilg +/doc/*.ind +/doc/*.lab +/doc/*.log +/doc/*.out +/doc/*.pnr +/doc/*.six +/doc/*.tex +/doc/*.toc +/doc/manual.pdf + +/gh-pages/ +/tmp/