- cint dir was missing from distribution
[ginac.git] / ginac / Makefile.in
index a5be0fede6fd9c8ad80d16474dab6865aa2d5716..1ec4f0d0338d542315c5de544e6feb17ebd27b56 100644 (file)
@@ -293,7 +293,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 \