- beautyfied names :-)

[ginac.git] / tools / Makefile.in

diff --git a/tools/Makefile.in b/tools/Makefile.in
index a0a6800239f772dd609bccedf213d3df81fa64fe..13f92f31a94be4684566f1e8df042592347dc1ba 100644 (file)
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -82,7 +82,6 @@ GINACLIB_MINOR_VERSION = @GINACLIB_MINOR_VERSION@
 GINACLIB_VERSION = @GINACLIB_VERSION@
 GINSH_LIBS = @GINSH_LIBS@
 LATEX = @LATEX@
-LD = @LD@
 LEX = @LEX@
 LIBGINACCINT = @LIBGINACCINT@
 LIBTOOL = @LIBTOOL@
@@ -95,7 +94,6 @@ MAINT = @MAINT@
 MAKECINT = @MAKECINT@
 MAKEINDEX = @MAKEINDEX@
 MAKEINFO = @MAKEINFO@
-NM = @NM@
 OBJDUMP = @OBJDUMP@
 PACKAGE = @PACKAGE@
 RANLIB = @RANLIB@