- cint dir was missing from distribution
[ginac.git] / doc / Makefile.in
index e153dbe7ffe94a43a8b424341aeb413ae9e42743..074ed71004c544c67f7c736d3aa0df89699d62af 100644 (file)
@@ -272,7 +272,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 \