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:        html
   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 html:
  13         debian/rules build
  14
  15 clean:
  16         debian/rules clean
  17