1 files changed, 0 insertions, 24 deletions

diff --git a/docs/Makefile.in b/docs/Makefile.in
index fa1bd2e..d88e72b 100644
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -52,30 +52,6 @@ clean: clean-subdirs
 distclean: clean distclean-subdirs
         $(RM) Makefile
 
-DESTDIR = @PACKAGE_NAME@-@PACKAGE_VERSION@
-DESTTGZ = $(DESTDIR).tar.gz
-dist:
-        @rm -rf $(DESTDIR); \
-        list=' $(SUBDIRS)'; \
-        for i in $$list; do \
-                if test -d "$$i"; then \
-                        target=local-dist; \
-                        echo "Making $$target in $$i"; \
-                        if test "$$i" = "."; then \
-                                made_local=yes; \
-                                target="local-dist"; \
-                        fi; \
-                        NEWDESTDIR=$(builddir)/$(DESTDIR)/$$i; \
-                        echo $(NEWDESTDIR); \
-                        (cd $$i && $(MAKE) DESTDIR=$(builddir)/$(DESTDIR)/$$i $$target) || exit 1; \
-                fi; \
-        done;
-        if test "$$made_local" != "yes"; then \
-                $(MAKE) "local-dist" || exit 1; \
-        fi
-        tar -zcf $(DESTTGZ) $(DESTDIR)
-        rm -rf $(DESTDIR)
-
 local-dist: $(DISTFILES)
         mkdir -p $(DESTDIR)
         cp -dp --parents $(DISTFILES) $(DESTDIR)