X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=developers-reference.git;a=blobdiff_plain;f=Makefile;h=37dc8fe95592fedcd96c10e6b11a4ce11bf48904;hp=ccff8d6d5ce75bfa5f481c70a12e7a062334a569;hb=9291ccfd403dfb51128111dea0fd814f82e907ca;hpb=5d8e1f03f84c3398bd6a0d3116292df347e3ffed

diff --git a/Makefile b/Makefile
index ccff8d6..37dc8fe 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,19 @@
-# 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
+