]> git.somenet.org - pub/jan/adbs.git/blob - ex1/build.sh
now the results are the same
[pub/jan/adbs.git] / ex1 / build.sh
1 #!/bin/bash
2 ./gitinfohook.sh
3 pdflatex main.tex
4
5 grep '*{file}' main.dep | cut -d'{' -f3 | sed -e 's/}//g' -e 's#^#./#g' | sort | uniq > main.dep.tmp
6 #(find ./images ./articles ./fillers -type f; cat main.dep.tmp main.dep.tmp) | sort | uniq -u > main.dep.unused
7 #rm main.dep.tmp
8
9 echo -e "\n\n\n*** DONE ***\n"
10 #echo "unused ./images ./articles ./fillers:"
11 #cat main.dep.unused
12 echo ""