Makefile

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