chiark / gitweb /
make ddp publish rule really publish
[developers-reference.git] / Makefile
index ccff8d6d5ce75bfa5f481c70a12e7a062334a569..ce1856420a863993624600550fc89b0f67a5f8eb 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,17 @@
 # Makefile, only used for the DDP manuals.sgml area
 
 # Makefile, only used for the DDP manuals.sgml area
 
-all:
+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:
        debian/rules build
 
 clean:
        debian/rules clean
        debian/rules build
 
 clean:
        debian/rules clean
+