-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)