aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-12 11:46:32 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-12 11:46:32 +0200
commiteddb8d73641f3a667b0a34f115bb3f51e80daeed (patch)
tree2584741335cda70b6ab015128dc622270c337f18 /makefile
parentc2239c0f6b11b85496cce18fbfa2c92bc78ff071 (diff)
downloadcourses-eddb8d73641f3a667b0a34f115bb3f51e80daeed.tar.gz
updated fichiers/01*.tex
Diffstat (limited to 'makefile')
-rw-r--r--makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/makefile b/makefile
index 81236ac..25be7fc 100644
--- a/makefile
+++ b/makefile
@@ -1,17 +1,18 @@
1all: clean 1all: pdf
2 2
3pdf: clean 3pdf: clean
4 find ./* -type f | grep -v '_.*.tex' | grep 'tex$$' > texfiles 4 find ./* -type f | grep -v '_.*.tex' | grep 'tex$$' > texfiles
5 while read l ; do \ 5 while read l ; do \
6 latexmk -quiet -cd -lualatex $$l ; \ 6 latexmk -quiet -cd -lualatex -e '$$lualatex=q/lualatex %O --shell-escape %S/' $$l ; \
7 done < texfiles 7 done < texfiles
8 while read l ; do \ 8 while read l ; do \
9 latexmk -c -cd -lualatex $$l ; \ 9 latexmk -c -cd -lualatex $$l ; \
10 done < texfiles 10 done < texfiles
11 find -type d | grep -i "_minted.*" | xargs rm -rf
11clean: 12clean:
12 rm -rf .backup 13 rm -rf .backup
13 find -iname "*~" | xargs rm -rf 14 find -iname "*~" | xargs rm -rf
14 find ./* -type f | grep 'makefile\|md$$\|tex$$' > ls-R 15 find ./* -type f | grep 'makefile\|\.md$$\|\.tex$$' > ls-R
15 rsync -avPr --files-from=ls-R . .backup 16 rsync -avPr --files-from=ls-R . .backup
16 cp ls-R .backup 17 cp ls-R .backup
17 rm -rf * 18 rm -rf *