diff options
-rw-r--r-- | document/format.orig.tex (renamed from format.orig.tex) | 0 | ||||
-rw-r--r-- | document/report.tex | 2 | ||||
-rwxr-xr-x | make | 4 |
3 files changed, 3 insertions, 3 deletions
diff --git a/format.orig.tex b/document/format.orig.tex index 6238f1c..6238f1c 100644 --- a/format.orig.tex +++ b/document/format.orig.tex diff --git a/document/report.tex b/document/report.tex index 1395d26..886286b 100644 --- a/document/report.tex +++ b/document/report.tex @@ -1,6 +1,6 @@ \long\def\abstract{\input abstract\par} -\input ../format +\input format \include Introduction;intro @@ -12,12 +12,12 @@ python3 ../data.py nei || python ../data.py nei cd .. mkdir outputs cd document -cp ../format.orig.tex ../format.tex +cp format.orig.tex format.tex pdftex report.tex || echo "You must install \`pdftex\` (MacTeX, TeXLive, MikTeX, etc)" mv pageno.tex .. mv pageno2.tex .. mv report.pdf ../outputs/report-double.pdf -sed ../format.orig.tex -e 's/\\baselineskip=24pt/\\baselineskip=14pt/g' >../format.tex +sed format.orig.tex -e 's/\\baselineskip=24pt/\\baselineskip=14pt/g' >format.tex pdftex report.tex mv report.pdf ../outputs/report-single.pdf cd .. |