diff options
Diffstat (limited to 'support/splint/examples/symbols/Makefile')
-rw-r--r-- | support/splint/examples/symbols/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/support/splint/examples/symbols/Makefile b/support/splint/examples/symbols/Makefile index 964927bc9d..80a6aed0c6 100644 --- a/support/splint/examples/symbols/Makefile +++ b/support/splint/examples/symbols/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 @@ -18,8 +18,8 @@ # purposes; the main directory (../..) follows a slightly more # modular organization scheme. -SYMBOLS_PREREQS = %.tex %.idx ${SPLINT_XTEXSTYLES} ${SPLINT_ROOT}cweb/bo.tok ${SPLINT_ROOT}cweb/fo.tok symtoks.sty -SYMBOLS_PREREQS += ${SPLINT_XPTABLES} ${SPLINT_XLTABLES} symmap.sty symtricks.sty symfm.sty slimbo.sty +SYMBOLS_PREREQS = %.tex %.idx ${SPLINT_XTEXSTYLES} ${SPLINT_XTABLES} symtoks.sty +SYMBOLS_PREREQS += symmap.sty symtricks.sty symfm.sty slimbo.sty SYMBOLS_PREREQS += ${SPLINT_ROOT}cweb/fil.l ${SPLINT_ROOT}cweb/bg.y ${SPLINT_ROOT}cweb/lo.l @@ -53,7 +53,7 @@ mostlyclean: clean_temp distclean: clean cd ${SPLINT_ROOT} && ${MAKE} clean -.PRECIOUS: ${SPLINT_ROOT}cweb/fo.tok ${SPLINT_ROOT}cweb/bo.tok ${SPLINT_ROOT}cweb/lo.l \ +.PRECIOUS: ${SPLINT_XOTABLES} ${SPLINT_ROOT}cweb/lo.l \ ${SPLINT_ROOT}cweb/fil.l ${SPLINT_ROOT}cweb/dyytab.tex ${SPLINT_ROOT}cweb/gyytab.tex \ ${SPLINT_ROOT}cweb/fyytab.tex symbols.gdy |