diff options
Diffstat (limited to 'support/splint/examples/expression/Makefile')
-rw-r--r-- | support/splint/examples/expression/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/splint/examples/expression/Makefile b/support/splint/examples/expression/Makefile index 6f306939b6..741e94664c 100644 --- a/support/splint/examples/expression/Makefile +++ b/support/splint/examples/expression/Makefile @@ -1,4 +1,4 @@ -# Copyright 2012-2020, Alexander Shibakov +# Copyright 2012-2022, Alexander Shibakov # This file is part of SPLinT # # SPLinT is free software: you can redistribute it and/or modify @@ -54,7 +54,7 @@ test.tex ${PARSER}.yy ${LEXER}.ll: expression.x expression.tex: expression.x @${CWEAVE} $< -expression.pdf: expression.tex ${SPLINT_XPTABLES} ${SPLINT_XLTABLES} ${SPLINT_ROOT}cweb/bo.tok ${SPLINT_ROOT}cweb/fo.tok etoks.sty +expression.pdf: expression.tex ${SPLINT_XTABLES} etoks.sty @${PDFTEX} $< test: test.tex ptab.tex ltab.tex |