chiark / gitweb /
pause and resume reading as appropriate
[innduct.git] / doc / Makefile
1 ##  $Id: Makefile 6017 2002-12-16 12:08:38Z alexk $
2 ##
3 ##  The only target that this Makefile need support is install.  Everything
4 ##  else is a null target (and the top level Makefile shouldn't even attempt
5 ##  them in this directory).
6
7 include ../Makefile.global
8
9 top     = ..
10
11 TOPDOCS = CONTRIBUTORS HACKING INSTALL LICENSE NEWS README TODO
12
13 DOCS    = GPL compliance-nntp config-design config-semantics config-syntax \
14         external-auth history hook-perl hook-python hook-tcl sample-control
15
16 DIRS = man
17
18 all:
19 clobber clean distclean:
20 tags ctags:
21 profiled:
22 depend:
23
24 install: install-doc
25         @for D in $(DIRS) ; do \
26             cd $$D && $(MAKE) install || exit 1 ; cd .. ; \
27         done
28
29 install-doc:
30         for F in $(TOPDOCS) ; do \
31             $(CP_RPUB) $(top)/$$F $D$(PATHDOC)/$$F ; \
32         done
33         for F in $(DOCS) ; do \
34             $(CP_RPUB) $$F $D$(PATHDOC)/$$F ; \
35         done
36         if [ -r $(top)/README.snapshot ] ; then \
37             $(CP_RPUB) $(top)/README.snapshot $D$(PATHDOC)/README.snapshot ; \
38         fi