diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/TR-20210808100000-IA-WDS-REFCAT/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/TR-20210808100000-IA-WDS-REFCAT/Makefile b/docs/TR-20210808100000-IA-WDS-REFCAT/Makefile index 11264f8..1d2c6a4 100644 --- a/docs/TR-20210808100000-IA-WDS-REFCAT/Makefile +++ b/docs/TR-20210808100000-IA-WDS-REFCAT/Makefile @@ -8,10 +8,12 @@ main.pdf: main.tex .PHONY: clean clean: - rm -f main.pdf rm -f main.aux rm -f main.log rm -f main.bbl rm -f main.blg rm -f main.out +.PHONY: purge +purge: clean + rm -f main.pdf |