diff options
| -rw-r--r-- | document/report.tex | 3 | ||||
| -rw-r--r-- | format.orig.tex (renamed from format.tex) | 0 | ||||
| -rwxr-xr-x | make | 13 |
3 files changed, 13 insertions, 3 deletions
diff --git a/document/report.tex b/document/report.tex index 33bb8bd..ed98a7a 100644 --- a/document/report.tex +++ b/document/report.tex @@ -15,6 +15,9 @@ \include Conclusion;conclusion \vfil\eject +\openout1=pageno\relax +\write1{\number\pageno} +\closeout1 \include Appendix A: Graphs;graphs diff --git a/format.tex b/format.orig.tex index 73e3039..73e3039 100644 --- a/format.tex +++ b/format.orig.tex @@ -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 |