diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -13,7 +13,7 @@ $(NAME).pdf: $(NAME).dtx | |||
13 | lualatex --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 13 | lualatex --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
14 | lualatex --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 14 | lualatex --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
15 | clean: | 15 | clean: |
16 | rm -f $(NAME).{aux,fls,glo,gls,hd,idx,ilg,ind,ins,log,out} | 16 | rm -f $(NAME).{aux,fls,glo,gls,hd,idx,ilg,ind,ins,log,out,toc} |
17 | rm -f *~ | 17 | rm -f *~ |
18 | rm -rf auto/ | 18 | rm -rf auto/ |
19 | # rm -f $(NAME)_*.{bib,lua} | 19 | # rm -f $(NAME)_*.{bib,lua} |