diff --git a/Makefile b/Makefile index 8fe5c17..ac9e733 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ render_srv_doc: pdflatex -output-directory build ${SRV_DOC_NAME}.tex clean: - cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc + cd build; rm -v *.aux *.bbl *.blg *.log *.out *.toc *.synctex.gz; exit 0; cleanall: rm -rfv build; mkdir build