Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Add -generate_aux_rules false when generating PDF
  • Loading branch information
Alastair Reid committed May 31, 2018
1 parent 7d4ab4d commit 3ad9d47
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tests/menhir_tests/test10menhir_with_aux/Makefile
Expand Up @@ -24,11 +24,11 @@ $(ROOT)_ast.ml $(ROOT)_lexer.mll $(ROOT)_parser.mly $(ROOT)_parser_pp.ml $(ROOT


$(ROOT)_quotiented.pdf: $(ROOT).ott Makefile
$(OTT) -quotient_rules true -i $(ROOT).ott -o $(ROOT)_quotiented.tex
$(OTT) -quotient_rules true -generate_aux_rules false -i $(ROOT).ott -o $(ROOT)_quotiented.tex
pdflatex $(ROOT)_quotiented.tex

$(ROOT)_unquotiented.pdf: $(ROOT).ott Makefile
$(OTT) -quotient_rules false -i $(ROOT).ott -o $(ROOT)_unquotiented.tex
$(OTT) -quotient_rules false -generate_aux_rules false -aux_style_rules false -i $(ROOT).ott -o $(ROOT)_unquotiented.tex
pdflatex $(ROOT)_unquotiented.tex

clean:
Expand All @@ -41,4 +41,4 @@ clean:

realclean:
$(MAKE) clean
rm -rf *.pdf
rm -rf *.pdf

0 comments on commit 3ad9d47

Please sign in to comment.