X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=tools%2FMakefile.in;h=fdfe02c77f1cfb87c1e087558a41c150d99d888d;hp=0033fd6d4f9416304647dd3708d1ce5280eeb02f;hb=3f6bd5a806a71d8e6f429172dd1650f1dcf013c4;hpb=a919c4165b957dd55b9b1e6c8a48ae00a88e0351

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 0033fd6d..fdfe02c7 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -84,7 +84,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@