-# Makefile, only used for the DDP manuals.sgml area
+# Makefile, used for the DDP manuals.sgml area
-all:
+MANUAL := $(shell basename $(shell pwd))
+PUBLISHDIR := ../../../public_html/manuals.html
+
+publish: build
+ [ -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)
+
+.PHONY: build
+build:
debian/rules build
clean:
debian/rules clean
+