]> www.ginac.de Git - ginac.git/blobdiff - tools/Makefile.in
*sigh* when will we move the Makefile.in's out of CVS?
[ginac.git] / tools / Makefile.in
index 0033fd6d4f9416304647dd3708d1ce5280eeb02f..fdfe02c77f1cfb87c1e087558a41c150d99d888d 100644 (file)
@@ -84,7 +84,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
-LIBGINACCINT = @LIBGINACCINT@
+LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@