chiark / gitweb /
REORG remove old/ directory
[inn-innduct.git] / old / doc / Makefile
diff --git a/old/doc/Makefile b/old/doc/Makefile
deleted file mode 100644 (file)
index faff9bf..0000000
+++ /dev/null
@@ -1,38 +0,0 @@
-##  $Id: Makefile 6017 2002-12-16 12:08:38Z alexk $
-##
-##  The only target that this Makefile need support is install.  Everything
-##  else is a null target (and the top level Makefile shouldn't even attempt
-##  them in this directory).
-
-include ../Makefile.global
-
-top    = ..
-
-TOPDOCS        = CONTRIBUTORS HACKING INSTALL LICENSE NEWS README TODO
-
-DOCS   = GPL compliance-nntp config-design config-semantics config-syntax \
-       external-auth history hook-perl hook-python hook-tcl sample-control
-
-DIRS = man
-
-all:
-clobber clean distclean:
-tags ctags:
-profiled:
-depend:
-
-install: install-doc
-       @for D in $(DIRS) ; do \
-           cd $$D && $(MAKE) install || exit 1 ; cd .. ; \
-       done
-
-install-doc:
-       for F in $(TOPDOCS) ; do \
-           $(CP_RPUB) $(top)/$$F $D$(PATHDOC)/$$F ; \
-       done
-       for F in $(DOCS) ; do \
-           $(CP_RPUB) $$F $D$(PATHDOC)/$$F ; \
-       done
-       if [ -r $(top)/README.snapshot ] ; then \
-           $(CP_RPUB) $(top)/README.snapshot $D$(PATHDOC)/README.snapshot ; \
-       fi