]> www.ginac.de Git - ginac.git/blobdiff - doc/tutorial/Makefile.in
*sigh* when will we move the Makefile.in's out of CVS?
[ginac.git] / doc / tutorial / Makefile.in
index 158a13357a427495675746059882f346a7b7ff70..255742932c946de6735f6e926e293c01c77b49b5 100644 (file)
@@ -86,7 +86,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
-LIBGINACCINT = @LIBGINACCINT@
+LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@