summaryrefslogtreecommitdiff
path: root/support/splint/examples/symbols/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/symbols/Makefile')
-rw-r--r--support/splint/examples/symbols/Makefile8
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