diff options
author | Philip Withnall <philip@tecnocode.co.uk> | 2013-08-22 21:41:56 (GMT) |
---|---|---|
committer | Philip Withnall <philip@tecnocode.co.uk> | 2013-08-22 21:41:56 (GMT) |
commit | 815a03051415a8b7ada6ff2e2ee6209ce1e3f2cd (patch) | |
tree | 7560e7bf630cb2d9d244ae7143dd372f4e78af2d | |
parent | b8fa4f76c70fb2ed5ab69b29547b4091c6cba971 (diff) |
Fix cleaning up PDFs with `make clean`
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -48,5 +48,6 @@ clean: rm -f $(PDFS:.pdf=.snm) rm -f $(PDFS:.pdf=.toc) rm -f $(PDFS:.pdf=.vrb) + rm -f $(PDFS) .PHONY: all clean check |