- cint dir was missing from distribution

[ginac.git] / doc / tutorial / Makefile.in

diff --git a/doc/tutorial/Makefile.in b/doc/tutorial/Makefile.in
index dcde437613a3f2b6ab3e2e06ef1269df5d4911e8..7b0a861eb9b413270b96b361a3e22831ca655c56 100644 (file)
--- a/doc/tutorial/Makefile.in
+++ b/doc/tutorial/Makefile.in
@@ -66,6 +66,7 @@ ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
 CINT = @CINT@
+CINTSYSDIR = @CINTSYSDIR@
 CXX = @CXX@
 CXXCPP = @CXXCPP@
 DLLTOOL = @DLLTOOL@
@@ -83,7 +84,6 @@ GINACLIB_MINOR_VERSION = @GINACLIB_MINOR_VERSION@
 GINACLIB_VERSION = @GINACLIB_VERSION@
 GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
-LD = @LD@
 LEX = @LEX@
 LIBGINACCINT = @LIBGINACCINT@
 LIBTOOL = @LIBTOOL@
@@ -96,7 +96,6 @@ MAINT = @MAINT@
 MAKECINT = @MAKECINT@
 MAKEINDEX = @MAKEINDEX@
 MAKEINFO = @MAKEINFO@
-NM = @NM@
 OBJDUMP = @OBJDUMP@
 PACKAGE = @PACKAGE@
 RANLIB = @RANLIB@