WEB=~www/html/imp/

.PHONY: all

all: ${WEB}/groups.html ${WEB}/index.html ${WEB}/pubs.html ${WEB}/imp.css \
     ${WEB}/images ${WEB}/doc.html

${WEB}/groups.html::
	@if [ ! -d ${WEB} ]; then mkdir -p ${WEB}; fi
	(cd html && cat ../inc/make-get.php index.php | php -- page=groups) > phpout
	@grep -q "</html>" phpout && cp phpout $@ && rm phpout || (echo "Error occurred during production of $@: check phpout for errors"; exit 1)

${WEB}/index.html::
	@if [ ! -d ${WEB} ]; then mkdir -p ${WEB}; fi
	(cd html && cat ../inc/make-get.php index.php | php -- page=home) > phpout
	@grep -q "</html>" phpout && cp phpout $@ && rm phpout || (echo "Error occurred during production of $@: check phpout for errors"; exit 1)

${WEB}/pubs.html::
	@if [ ! -d ${WEB} ]; then mkdir -p ${WEB}; fi
	(cd html && cat ../inc/make-get.php index.php | php -- page=pubs) > phpout
	@grep -q "</html>" phpout && cp phpout $@ && rm phpout || (echo "Error occurred during production of $@: check phpout for errors"; exit 1)

${WEB}/doc.html::
	@if [ ! -d ${WEB} ]; then mkdir -p ${WEB}; fi
	(cd html && cat ../inc/make-get.php index.php | php -- page=doc) > phpout
	@grep -q "</html>" phpout && cp phpout $@ && rm phpout || (echo "Error occurred during production of $@: check phpout for errors"; exit 1)

${WEB}/imp.css: html/imp.css
	cp $< $@

${WEB}/images: html/images/*
	@if [ ! -d ${WEB}/images ]; then mkdir -p ${WEB}/images; fi
	cp html/images/* ${WEB}/images
