- cint dir was missing from distribution
[ginac.git] / tools / Makefile.in
index 13f92f31a94be4684566f1e8df042592347dc1ba..0c8163303a5b6fbb6b1cd74834eaaf12c9c3ea71 100644 (file)
@@ -298,7 +298,7 @@ distdir: $(DISTFILES)
        @for file in $(DISTFILES); do \
          d=$(srcdir); \
          if test -d $$d/$$file; then \
-           cp -pr $$d/$$file $(distdir)/$$file; \
+           cp -pr $$/$$file $(distdir)/$$file; \
          else \
            test -f $(distdir)/$$file \
            || ln $$d/$$file $(distdir)/$$file 2> /dev/null \