chiark / gitweb /
REORG Move everything that's not innduct into old/ directory
[innduct.git] / old / doc / Makefile
diff --git a/old/doc/Makefile b/old/doc/Makefile
new file mode 100644 (file)
index 0000000..faff9bf
--- /dev/null
@@ -0,0 +1,38 @@
+##  $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