1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 4911962..bb09058 100644
--- a/makefile
+++ b/makefile
@@ -81,7 +81,7 @@ clean:
        rm -rf saved/ TMP/ _minted-arabluatex/
        find ./samples/ | grep -v "\./samples/$$" | grep -v ".*tex$$" | xargs rm -rf
        mkdir saved
-        cp *.{lua,ins,dtx,tex,el} makefile saved # .bib is in dtx
+        cp *.{lua,ins,dtx,tex,el} AUTHORS.md COPYING makefile saved # .bib is in dtx
        rm *.*
        cp saved/* .
        rm -rf saved/

diff --git a/makefile b/makefile index 4911962..bb09058 100644 --- a/makefile +++ b/makefile
@@ -81,7 +81,7 @@ clean:
81	rm -rf saved/ TMP/ _minted-arabluatex/	81	rm -rf saved/ TMP/ _minted-arabluatex/
82	find ./samples/ \| grep -v "\./samples/$$" \| grep -v ".*tex$$" \| xargs rm -rf	82	find ./samples/ \| grep -v "\./samples/$$" \| grep -v ".*tex$$" \| xargs rm -rf
83	mkdir saved	83	mkdir saved
84	cp *.{lua,ins,dtx,tex,el} makefile saved # .bib is in dtx	84	cp *.{lua,ins,dtx,tex,el} AUTHORS.md COPYING makefile saved # .bib is in dtx
85	rm .	85	rm .
86	cp saved/* .	86	cp saved/* .
87	rm -rf saved/	87	rm -rf saved/