diff options
Diffstat (limited to 'Build/source/utils/xindy/Makefile.in')
| -rw-r--r-- | Build/source/utils/xindy/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/utils/xindy/Makefile.in b/Build/source/utils/xindy/Makefile.in index d1658df1afb..8e05f1642cf 100644 --- a/Build/source/utils/xindy/Makefile.in +++ b/Build/source/utils/xindy/Makefile.in @@ -79,8 +79,7 @@ BUILDRULES_TRUE = @BUILDRULES_TRUE@ CC = @CC@ CCDEPMODE = @CCDEPMODE@ CFLAGS = @CFLAGS@ -CLISP_DIR = @CLISP_DIR@ -CLISP_PATH = @CLISP_PATH@ +CLISP = @CLISP@ CPP = @CPP@ CPPFLAGS = @CPPFLAGS@ CXX = @CXX@ @@ -121,6 +120,8 @@ PATH_SEPARATOR = @PATH_SEPARATOR@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ STRIP = @STRIP@ +TETEX_BUILD_FALSE = @TETEX_BUILD_FALSE@ +TETEX_BUILD_TRUE = @TETEX_BUILD_TRUE@ VERSION = @VERSION@ YACC = @YACC@ YFLAGS = @YFLAGS@ |