]> 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 392fb729da89fefea731a2c844091c2a24386903..fdfe02c77f1cfb87c1e087558a41c150d99d888d 100644 (file)
@@ -84,7 +84,6 @@ GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LD = @LD@
 LEX = @LEX@
-LIBGINACCINT = @LIBGINACCINT@
 LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@