diff --git a/.gitignore b/.gitignore index 7e5d0a29..894e9159 100644 --- a/.gitignore +++ b/.gitignore @@ -53,6 +53,9 @@ Makefile *.fls *.fdb_latexmk *.pyg +*.pdf +doc/doc/* +# ^ All files are copied to a directory when compiling the manual; don't wanna commit these! # Misc. *.log