diff options
Diffstat (limited to 'Build/source/texk/seetexk/Makefile.in')
| -rw-r--r-- | Build/source/texk/seetexk/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/seetexk/Makefile.in b/Build/source/texk/seetexk/Makefile.in index 9758942b0b8..c6e9f52f18a 100644 --- a/Build/source/texk/seetexk/Makefile.in +++ b/Build/source/texk/seetexk/Makefile.in @@ -1347,6 +1347,7 @@ $(libtex_a_OBJECTS): $(KPATHSEA_DEPEND) $(dvibook_OBJECTS) $(dviconcat_OBJECTS) $(dviselect_OBJECTS) $(dvitodvi_OBJECTS): libtex.a @KPATHSEA_RULE@ +seetexk.log: dvibook$(EXEEXT) dviconcat$(EXEEXT) dviselect$(EXEEXT) dvitodvi$(EXEEXT) # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. |