diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -7,7 +7,17 @@ all clean:: for dir in $(SUBDIRS) ; do \ (cd $$dir && make $@); \ done - + rm -rf pdf + rm -f *.aux + rm -f *.log + rm -f *.nav + rm -f *.toc + rm -f *.pdf + rm -f *.snm + rm -f *.bbl + rm -f *.blg + rm -f *.out + rm -f *.vrb pres:: mv configpres.tex _configpres.tex touch configpres.tex |
