diff options
Diffstat (limited to 'reproduce')
| -rw-r--r-- | reproduce/analysis/make/paper.mk | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/reproduce/analysis/make/paper.mk b/reproduce/analysis/make/paper.mk index 29a1ea0..de7b87f 100644 --- a/reproduce/analysis/make/paper.mk +++ b/reproduce/analysis/make/paper.mk @@ -54,11 +54,21 @@ $(mtexdir)/project.tex: $(mtexdir)/verify.tex echo "\input{tex/build/macros/$$t.tex}" >> $$projecttex done - # Add the necessary macro to include appendix or not. + # Possibly print the appendix in the final PDF. if [ x"$(noappendix)" = x1 ]; then echo "\newcommand{\noappendix}{}" >> $$projecttex fi + # Possibly highlight the '\new' parts of the text. + if [ x"$(highlightnew)" = x1 ]; then + echo "\newcommand{\highlightnew}{}" >> $$projecttex + fi + + # Possibly show the text within '\tonote'. + if [ x"$(highlightnotes)" = x1 ]; then + echo "\newcommand{\highlightnotes}{}" >> $$projecttex + fi + # The paper shouldn't be built. else echo |