X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=tools%2FMakefile.in;h=0f42a2cdc71a13c0c2ee7bf18633b388e6331134;hp=13f92f31a94be4684566f1e8df042592347dc1ba;hb=ad19befada3733da04b376bae520cef491ae64c8;hpb=11b04edda530b248b849d46fb310a9fad1c1892f

diff --git a/tools/Makefile.in b/tools/Makefile.in
index 13f92f31..0f42a2cd 100644
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -84,6 +84,7 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LEX = @LEX@
 LIBGINACCINT = @LIBGINACCINT@
+LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@
 LT_AGE = @LT_AGE@