diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -56,7 +56,7 @@ clean: | |||
56 | rm -rf tex/ doc/ source/ auto/ | 56 | rm -rf tex/ doc/ source/ auto/ |
57 | rm -rf arabluatex/ | 57 | rm -rf arabluatex/ |
58 | rm -rf saved/ TMP/ | 58 | rm -rf saved/ TMP/ |
59 | find ./samples/ | grep -v "samples/$$" | grep -v ".*tex$$" | xargs rm -rf | 59 | find ./samples/ | grep -v "\./samples/$$" | grep -v ".*tex$$" | xargs rm -rf |
60 | mkdir saved | 60 | mkdir saved |
61 | cp *.{lua,ins,dtx,tex,el} makefile saved # .bib is in dtx | 61 | cp *.{lua,ins,dtx,tex,el} makefile saved # .bib is in dtx |
62 | rm *.* | 62 | rm *.* |