Makefile

   1 # Makefile, used for the DDP manuals.sgml area
   2
   3 MANUAL          := $(notdir $(shell pwd))
   4 PUBLISHDIR      := ../../../public_html/manuals.html
   5
   6 publish:        build
   7         [ -d $(PUBLISHDIR) ] || exit 1
   8         rm -f $(PUBLISHDIR)/$(MANUAL)/*.html
   9         install -d -m 755 $(PUBLISHDIR)/$(MANUAL)
  10         install -m 644 --preserve-timestamps $(MANUAL).html/*.html      \
  11            $(PUBLISHDIR)/$(MANUAL)
  12
  13 .PHONY: build
  14 build:
  15         debian/rules build
  16
  17 clean:
  18         debian/rules clean
  19