diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2023-01-24 16:14:18 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-24 16:14:18 +0100 |
| commit | 3a4d0bb9c40a92f8cbde4ce2af66038c8c6e0543 (patch) | |
| tree | e4c9c07a76f91bb25a141180d79871859aa48e5e /makefile | |
| parent | 7e40727a39b76d13a2f0e795b1d1f4be1855f670 (diff) | |
| download | arabluatex-3a4d0bb9c40a92f8cbde4ce2af66038c8c6e0543.tar.gz | |
v1.21 to come will be licensed under OpenBSD terms
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -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/ |