chiark / gitweb /
2nd cut
[developers-reference.git] / Makefile
index ce1856420a863993624600550fc89b0f67a5f8eb..37dc8fe95592fedcd96c10e6b11a4ce11bf48904 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,15 +1,17 @@
-# Makefile, only used for the DDP manuals.sgml area
+# Makefile, used for the DDP manuals.sgml area
 
 MANUAL         := $(shell basename $(shell pwd))
-PUBLISHDIR     := ../../../public_html/manuals.html/$(THISDIR)
+PUBLISHDIR     := ../../../public_html/manuals.html
 
-publish:       html
-       [ -d ../../../public_html ] || exit 1
-       rm -f $(PUBLISHDIR)/*.html
-       install -d $(PUBLISHDIR)
-       install -m 644 --preserve-timestamps $(MANUAL).html/*.html $(PUBLISHDIR)
+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)
 
-html:
+.PHONY:        build
+build:
        debian/rules build
 
 clean: