X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=cint%2FMakefile.in;h=a494a339fdf260e72d0499a38e21793321cdbd82;hb=ca16d5cce0936fdd03a58d29d47cd6c93649e74f;hp=6ba3fc8201c6ba3b57f10f6ad1e39e27d8de1017;hpb=9d22692238af9dd0875b5ed849e6ce3a3d503a87;p=ginac.git

diff --git a/cint/Makefile.in b/cint/Makefile.in
index 6ba3fc82..a494a339 100644
--- a/cint/Makefile.in
+++ b/cint/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@
@@ -339,7 +340,7 @@ distdir: $(DISTFILES)
 	@for file in $(DISTFILES); do \
 	  d=$(srcdir); \
 	  if test -d $$d/$$file; then \
-	    cp -pr $$/$$file $(distdir)/$$file; \
+	    cp -pr $$d/$$file $(distdir)/$$file; \
 	  else \
 	    test -f $(distdir)/$$file \
 	    || ln $$d/$$file $(distdir)/$$file 2> /dev/null \
@@ -504,7 +505,7 @@ makecint_clean:
 	(if [ -f Makefile.makecint ]; then $(MAKE) -f Makefile.makecint clean; fi)
 
 clean: makecint_clean
-	-rm -f libginac.*
+	-rm -f libginac*
 
 distclean: makecint_clean