aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2023-01-29 09:26:35 +0100
committerRobert Alessi <alessi@robertalessi.net>2023-01-29 09:26:35 +0100
commit77d8fd075d4d89667d8c568a306e82a72ff1c702 (patch)
treebe51fbd492a56b0acbebbad5554d3b7def8e89d2 /makefile
parent0ef6d4101971d6f0e7508c56451645c95b80cf1d (diff)
downloadarabluatex-77d8fd075d4d89667d8c568a306e82a72ff1c702.tar.gz
updated makefile and README
Diffstat (limited to 'makefile')
-rw-r--r--makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 5daff9d..612b591 100644
--- a/makefile
+++ b/makefile
@@ -85,7 +85,7 @@ clean:
85 rm -rf saved/ TMP/ _minted-arabluatex/ 85 rm -rf saved/ TMP/ _minted-arabluatex/
86 find ./samples/ | grep -v "\./samples/$$" | grep -v ".*tex$$" | xargs rm -rf 86 find ./samples/ | grep -v "\./samples/$$" | grep -v ".*tex$$" | xargs rm -rf
87 mkdir saved 87 mkdir saved
88 cp *.{lua,ins,dtx,tex,el} AUTHORS.md COPYING makefile saved # .bib is in dtx 88 cp *.{lua,ins,dtx,tex,el} AUTHORS.md LICENSE makefile saved # .bib is in dtx
89 rm *.* 89 rm *.*
90 cp saved/* . 90 cp saved/* .
91 rm -rf saved/ 91 rm -rf saved/