- Mention `warranty;' in splash-screen instead of file COPYING.

[ginac.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 7e2ca91d188d584a0abec1dc6c030241a4b01ef5..1ab8391310b4f11aeba8c7fb60b556b77c5f648e 100644 (file)
--- a/Makefile.in
+++ b/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@