diff options
Diffstat (limited to 'make')
-rwxr-xr-x | make | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -13,18 +13,25 @@ cd graph python3 ../data.py depwid || python ../data.py depwid python3 ../data.py nei || python ../data.py nei cd .. +mkdir outputs cd document +cp ../format.orig.tex ../format.tex pdftex report.tex || echo "You must install \`pdftex\` (MacTeX, TeXLive, MikTeX, etc)" +mv pageno.tex .. +mv report.pdf ../outputs/report-double.pdf +sed ../format.orig.tex -e 's/\\baselineskip=24pt/\\baselineskip=14pt/g' >../format.tex +pdftex report.tex +mv report.pdf ../outputs/report-single.pdf cd .. -mkdir outputs pdftex pics.tex mv pics.pdf outputs/pics.pdf -pdftk document/report.pdf cat 1-end 11-12 15-16 output outputs/report.pdf -pdftk document/report.pdf cat 13-14 output outputs/tables.pdf +export pageno=$(cat pageno) +pdftk outputs/report-double.pdf cat $pageno-$(eval $pageno+5) output outputs/graphs-tables.pdf rm *.log rm document/report.log cp assets/* outputs/ cd $orig +rm format.tex pageno.tex document/pageno.tex } create 2>/dev/null |