diff options
Diffstat (limited to 'debian-java-faq/Makefile')
| -rw-r--r-- | debian-java-faq/Makefile | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/debian-java-faq/Makefile b/debian-java-faq/Makefile new file mode 100644 index 0000000..0c24a49 --- /dev/null +++ b/debian-java-faq/Makefile @@ -0,0 +1,40 @@ +# Makefile for a manual in the Debian Documentation Project manuals.sgml +# tree. + +# The directory in which this makefile resides must also contain a file +# called <directoryname>.sgml, which is the top-level file for the manual +# in this directory. + +# What is the current manual's name +#MANUAL := $(shell basename $(shell pwd)) +MANUAL := debian-java-faq +# Where are we publishing to? +# (this can be overriden by a higher level makefile) +PUBLISHDIR := /org/www.debian.org/www/doc/manuals + +# What do we want by default? +all: publish + +# This target installs the generated HTML in the published directory. +publish: $(MANUAL).html/index.html +# fail if there is no PUBLISHDIR + [ -d $(PUBLISHDIR) ] || exit 1 + rm -f $(PUBLISHDIR)/$(MANUAL)/*.html + install -d -m 755 $(PUBLISHDIR)/$(MANUAL) + install -m 644 --preserve-timestamps $(MANUAL).html/*.html \ + $(PUBLISHDIR)/$(MANUAL)/ + +$(MANUAL).html/index.html: $(wildcard *.sgml) + debiandoc2html $(MANUAL).sgml + +# ensure our SGML is valid +# (add this to $(MANUAL).html rule to prevent building if not) +validate: + nsgmls -gues $(MANUAL).sgml + +clean: + rm -rf $(MANUAL).html + +distclean: clean + +.PHONY: all publish clean distclean validate |