| 1 |
# Top-level makefile for the Debian Documentation Project manuals
|
| 2 |
|
| 3 |
# parallel compiling is not possible, a lot of Makefiles do not support it
|
| 4 |
MAKEFLAGS=j1
|
| 5 |
|
| 6 |
# live documentation
|
| 7 |
SUBDIRS := \
|
| 8 |
apt-howto \
|
| 9 |
book-suggestions \
|
| 10 |
ddp-policy \
|
| 11 |
debian-bugs \
|
| 12 |
debian-faq \
|
| 13 |
developers-reference \
|
| 14 |
dictionary \
|
| 15 |
distribute-deb \
|
| 16 |
dselect-beginner \
|
| 17 |
euro-support \
|
| 18 |
fr \
|
| 19 |
intro-i18n \
|
| 20 |
java-faq \
|
| 21 |
maint-guide \
|
| 22 |
meta \
|
| 23 |
network-administrator \
|
| 24 |
programmer \
|
| 25 |
project-history \
|
| 26 |
quick-reference \
|
| 27 |
repository-howto \
|
| 28 |
securing-howto \
|
| 29 |
system-administrator \
|
| 30 |
tutorial \
|
| 31 |
user \
|
| 32 |
users-guide \
|
| 33 |
|
| 34 |
# documents with broken or newest Makefiles will be moved to the bottom
|
| 35 |
|
| 36 |
SUBDIRS-publish := $(addsuffix -publish,$(SUBDIRS))
|
| 37 |
SUBDIRS-clean := $(addsuffix -clean,$(SUBDIRS))
|
| 38 |
|
| 39 |
# dead (unmaintained) documentation, suitable for reaping
|
| 40 |
DEADDIRS := \
|
| 41 |
debiandoc-startup \
|
| 42 |
sgmltools-startup \
|
| 43 |
menu \
|
| 44 |
markup \
|
| 45 |
users_manual \
|
| 46 |
progeny-debian-manual \
|
| 47 |
# or just as archive without building them
|
| 48 |
|
| 49 |
# where we should publish to
|
| 50 |
PUBLISHDIR := /org/www.debian.org/www/doc/manuals
|
| 51 |
# How to install stuff in publish directory
|
| 52 |
install_file := install -p -m 664
|
| 53 |
install_dir := install -d -m 2775
|
| 54 |
# arguments to make publish
|
| 55 |
publish_args := PUBLISHDIR=$(PUBLISHDIR) install_file="$(install_file)" install_dir="$(install_dir)"
|
| 56 |
|
| 57 |
.SUFFIXES:
|
| 58 |
.PHONY: all publish clean $(SUBDIRS) $(SUBDIRS-publish) $(SUBDIRS-clean)
|
| 59 |
|
| 60 |
all: $(SUBDIRS)
|
| 61 |
|
| 62 |
publish::
|
| 63 |
[ -d $(PUBLISHDIR) ] || mkdir -p $(PUBLISHDIR)
|
| 64 |
publish:: $(SUBDIRS-publish)
|
| 65 |
|
| 66 |
clean: $(SUBDIRS-clean)
|
| 67 |
|
| 68 |
$(SUBDIRS):
|
| 69 |
-COLUMNS=1000 /usr/bin/time -f "%C took %E real, %U user, %S sys time" \
|
| 70 |
$(MAKE) -C $@
|
| 71 |
|
| 72 |
$(SUBDIRS-publish):
|
| 73 |
-COLUMNS=1000 /usr/bin/time -f "%C took %E real, %U user, %S sys time" \
|
| 74 |
$(MAKE) -C $(subst -publish,,$@) publish $(publish_args)
|
| 75 |
|
| 76 |
$(SUBDIRS-clean):
|
| 77 |
-/usr/bin/time -f "%C took %E real, %U user, %S sys time" \
|
| 78 |
$(MAKE) -C $(subst -clean,,$@) clean
|
Parent Directory
| 
Revision Log