diff options
Diffstat (limited to 'Build/source/texk/web2c/doc/Makefile.in')
| -rw-r--r-- | Build/source/texk/web2c/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/doc/Makefile.in b/Build/source/texk/web2c/doc/Makefile.in index 58f8ad7d375..b3f1ea140ab 100644 --- a/Build/source/texk/web2c/doc/Makefile.in +++ b/Build/source/texk/web2c/doc/Makefile.in @@ -142,6 +142,7 @@ KPATHSEA_DEPEND = @KPATHSEA_DEPEND@ KPATHSEA_INCLUDES = @KPATHSEA_INCLUDES@ KPATHSEA_LIBS = @KPATHSEA_LIBS@ KPATHSEA_PATHS_H = @KPATHSEA_PATHS_H@ +KPSEWHICH = @KPSEWHICH@ LD = @LD@ LDFLAGS = @LDFLAGS@ LEX = @LEX@ |