diff --git a/doc/.gitignore b/doc/.gitignore index 81ad0d8..39d84af 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,8 +1,9 @@ +#*.pdf *.log -*.pdf *.aux *.bbl *.blg *.fdb_latexmk *.fls *.out +*.synctex.gz diff --git a/doc/doc.synctex.gz b/doc/doc.synctex.gz deleted file mode 100644 index 99dd061..0000000 Binary files a/doc/doc.synctex.gz and /dev/null differ