aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 73dac78..45cf91c 100644
--- a/makefile
+++ b/makefile
@@ -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 *.*