+MANUAL := $(shell basename $(shell pwd))
+PUBLISHDIR := ../../../public_html/manuals.html/$(THISDIR)
+
+publish: html
+ [ -d ../../../public_html ] || exit 1
+ rm -f $(PUBLISHDIR)/*.html
+ install -d $(PUBLISHDIR)
+ install -m 644 --preserve-timestamps $(MANUAL).html/*.html $(PUBLISHDIR)
+
+html: