diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-10-12 11:01:17 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-10-12 11:01:17 +0200 |
commit | 5897e215448e1c54324a6f4e3b99f743de047dbf (patch) | |
tree | b339799dfed1e39be59f6a49b8905b60b17c97d5 /makefile | |
parent | 536a80c2d7836560ddd420d311427208829cfa51 (diff) | |
download | arabluatex-5897e215448e1c54324a6f4e3b99f743de047dbf.tar.gz |
documentation: switched to minted
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -6,13 +6,13 @@ sty: clean | |||
6 | lualatex $(pkg).ins | 6 | lualatex $(pkg).ins |
7 | 7 | ||
8 | doc: clean sty | 8 | doc: clean sty |
9 | lualatex $(pkg).dtx | 9 | lualatex --shell-escape $(pkg).dtx |
10 | biber arabluatex | 10 | biber arabluatex |
11 | lualatex $(pkg).dtx | 11 | lualatex --shell-escape $(pkg).dtx |
12 | makeindex -s gind.ist -o $(pkg).ind $(pkg).idx | 12 | makeindex -s gind.ist -o $(pkg).ind $(pkg).idx |
13 | makeindex -s gglo.ist -o $(pkg).gls $(pkg).glo | 13 | makeindex -s gglo.ist -o $(pkg).gls $(pkg).glo |
14 | lualatex $(pkg).dtx | 14 | lualatex --shell-escape $(pkg).dtx |
15 | lualatex $(pkg).dtx | 15 | lualatex --shell-escape $(pkg).dtx |
16 | for i in samples/*.tex; \ | 16 | for i in samples/*.tex; \ |
17 | do latexmk -outdir=TMP -lualatex -e '$$lualatex=q/lualatex %O --shell-escape %S/' $$i; \ | 17 | do latexmk -outdir=TMP -lualatex -e '$$lualatex=q/lualatex %O --shell-escape %S/' $$i; \ |
18 | done | 18 | done |
@@ -55,7 +55,7 @@ clean: | |||
55 | rm -rf $(HOMEDIR)/.emacs.d/auctex/auto/arabluatex*.el | 55 | rm -rf $(HOMEDIR)/.emacs.d/auctex/auto/arabluatex*.el |
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/ _minted-arabluatex/ |
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 |