- fixed a small oops: iprint() didn't reset the number output format to decimal

[ginac.git] / ginsh / Makefile.in

diff --git a/ginsh/Makefile.in b/ginsh/Makefile.in
index 09bea8f908bb89d9746064273377776af0000c6e..5bd33c8e4fc3290beadccfb5d8c0ed8370ec5868 100644 (file)
--- a/ginsh/Makefile.in
+++ b/ginsh/Makefile.in
@@ -316,7 +316,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 \