1 files changed, 0 insertions, 84 deletions

diff --git a/Documentation/Makefile.in b/Documentation/Makefile.in
deleted file mode 100644
index 81f2298..0000000
--- a/Documentation/Makefile.in
+++ /dev/null
@@ -1,84 +0,0 @@
-# @configure_input@
-
-# Modify these top variables.
-SUBDIRS = 
-
-EXTRA_DIST = README \
-                manual.xml \
-                manual.html
-
-#Don't modify anything below here
-
-srcdir = @abs_srcdir@
-builddir = @abs_builddir@
-
-STD_DIST = Makefile.in
-
-DISTFILES = $(STD_DIST) $(EXTRA_DIST)
-
-all: all-subdirs
-
-%.html: %.xml
-                @xmlto html-nochunks $<
-
-%.pdf: %.xml
-                @xmlto pdf $<
-
-all-subdirs install-subdirs update-subdirs clean-subdirs distclean-subdirs:
-        @otarget=`echo $@|sed s/-subdirs//`; \
-        list=' $(SUBDIRS)'; \
-        for i in $$list; do \
-                if test -d "$$i"; then \
-                        target="$$otarget"; \
-                        echo "Making $$target in $$i"; \
-                        if test "$$i" = "."; then \
-                                made_local=yes; \
-                                target="local-$$target"; \
-                        fi; \
-                        (cd $$i && $(MAKE) $$target) || exit 1; \
-                fi; \
-        done; \
-
-include:
-        rm -rf include
-        ln -s @APACHE_INCDIR@ include
-
-install: install-subdirs
-
-update: update-subdirs
-
-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)
-
-.PHONY: include all-subdirs update-subdirs install-subdirs \
-        clean-subdirs distclean-subdirs dist