diff options
Diffstat (limited to 'paper/Makefile')
| -rw-r--r-- | paper/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/paper/Makefile b/paper/Makefile index eb94566..285d184 100644 --- a/paper/Makefile +++ b/paper/Makefile @@ -38,6 +38,7 @@ resources/%.pdf: $(LAB_PATH)/%.ipynb clean: rm -f ${main_tex}.aux ${main_tex}.bbl ${main_tex}.bcf ${main_tex}.log ${main_tex}.blg rm -f ${main_tex}.out ${main_tex}.run.xml texput.log + rm -f ${main_tex}_diff.* rm -f ${brief_tex}.aux ${brief_tex}.bbl ${brief_tex}.bcf ${brief_tex}.log ${brief_tex}.blg rm -f ${brief_tex}.out ${brief_tex}.run.xml texput.log |