- cint/*: Revamped the launch-scheme for ginaccint.bin. It must be done

[ginac.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index f7d7934f0d6d44ba740b4846a456da8cbb6899f0..5e9d536f6ae63d663e6dd60d0bb66c730c66643d 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -83,7 +83,6 @@ GINACLIB_VERSION = @GINACLIB_VERSION@
 GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
 LEX = @LEX@
-LIBGINACCINT = @LIBGINACCINT@
 LIBTERMCAP = @LIBTERMCAP@
 LIBTOOL = @LIBTOOL@
 LN_S = @LN_S@