+++ /dev/null
-## $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