#
# MyPLC documentation
#
# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2006 The Trustees of Princeton University
#
# $Id: Makefile 704 2007-07-20 14:15:43Z thierry $
#

vpath GenDoc.xsl ../../plc_www/doc
vpath %_config.xml ..

# dont redo php by default, this requires plc_www (see above) 
# that we build separately (has no doc/ subdir anyway)
# note that the build host (myplc-devel) needs ghostscript
# that we added only on 20 july 2007
all: myplc.pdf myplc.html

static: pyplc.php

.PHONY: all

# Dependencies
.myplc.xml.valid: architecture.eps architecture.png plc_variables.xml plc_devel_variables.xml

%_variables.xml: variables.xsl %_config.xml
	xsltproc $(XSLFLAGS) --output $@ $^

# Validate the XML
.%.xml.valid: %.xml
	xmllint --valid --output $@ $<

# Compile it into other formats
FORMATS := dvi html man ps rtf tex texi txt

DOCBOOK2FLAGS := -V biblio-number=1

define docbook2
%.$(1): %.xml .%.xml.valid
	docbook2$(1) --nochunks $$(DOCBOOK2FLAGS) $$<
endef

# docbook2pdf craps out on figures
%.pdf: %.ps
	ps2pdf $< $@

# PHP for the website
%.php: GenDoc.xsl .%.xml.valid
	xsltproc $(XSLFLAGS) --output $@ $^

$(foreach format,$(FORMATS),$(eval $(call docbook2,$(format))))

docclean:
	rm -f $(patsubst %,*.%,$(FORMATS)) *.pdf *.php .*.xml.valid variables.xml 

clean: docclean

.PHONY: docclean