2 files changed, 77 insertions, 0 deletions

diff --git a/Documentation/.cvsignore b/Documentation/.cvsignore
new file mode 100644
index 0000000..f3c7a7c
--- /dev/null
+++ b/Documentation/.cvsignore
@@ -0,0 +1 @@
+Makefile
diff --git a/Documentation/Makefile.in b/Documentation/Makefile.in
new file mode 100644
index 0000000..2d07cfd
--- /dev/null
+++ b/Documentation/Makefile.in
@@ -0,0 +1,76 @@
+# @configure_input@
+
+# Modify these top variables.
+SUBDIRS = 
+
+EXTRA_DIST = README documentation.lyx
+
+#Don't modify anything below here
+
+srcdir = @abs_srcdir@
+builddir = @abs_builddir@
+
+STD_DIST = Makefile.in
+
+DISTFILES = $(STD_DIST) $(EXTRA_DIST)
+
+all: all-subdirs
+
+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