- updated makefiles

[ginac.git] / doc / Makefile.in

diff --git a/doc/Makefile.in b/doc/Makefile.in
index 4a11c86ad2afd723d04634719f786a65dfbb99a6..b6902514b620ee3e08c0d32ec8c2fb481c4a126e 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -59,6 +59,8 @@ PRE_UNINSTALL = :
 POST_UNINSTALL = :
 host_alias = @host_alias@
 host_triplet = @host@
+ARCHIVE_AGE = @ARCHIVE_AGE@
+ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
 CXX = @CXX@
@@ -267,7 +269,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 \