- updated Makefiles

[ginac.git] / tools / Makefile.in

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 88364a6a313ba20beb0573175c228ac025b5e690..7cd86713ca97c3046f010c7a0d2a16178c8457d4 100644 (file)
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -70,6 +70,7 @@ DLLTOOL = @DLLTOOL@
 DOXYGEN = @DOXYGEN@
 DVIPS = @DVIPS@
 FIG2DEV = @FIG2DEV@
+GINACCINTDIR = @GINACCINTDIR@
 GINACLIB_BINARY_AGE = @GINACLIB_BINARY_AGE@
 GINACLIB_CPPFLAGS = @GINACLIB_CPPFLAGS@
 GINACLIB_INTERFACE_AGE = @GINACLIB_INTERFACE_AGE@
@@ -82,6 +83,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
+LIBGINACCINT = @LIBGINACCINT@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@