doc/Makefile

   1 PHPDOC = phpdoc --filename $(doc_list) --title "TIP manual" --defaultcategoryname "HTML" --defaultpackagename "TIP" --readmeinstallchangelog $(extra_list) --sourcecode off
   2 FORMATS = html
   3
   4 srcdir = ..
   5
   6 source_find  := find $(srcdir) -wholename "$(srcdir)/pear" -prune -or -wholename "$(srcdir)/doc" -prune -or -name '*.php' -and -print0 | xargs -0
   7 source_files := `$(source_find)`
   8 source_list  := `$(source_find) | tr ' ' ','`
   9 extra_files  :=
  10 extra_list   := $(extra_files: =,)
  11 doc_files    := $(source_files) $(extra_files)
  12 doc_list     := $(source_list),$(extra_list)
  13
  14 all: $(FORMATS) mostlyclean
  15
  16 html: old-stats stats
  17         @if cmp old-stats stats > /dev/null; then \
  18           echo Documentation is up to date; \
  19         else \
  20           test -d $@ || mkdir $@; \
  21           $(PHPDOC) -tb . --target $@ --output "SQL:default"; \
  22         fi
  23
  24 stats:
  25         @stat -c%n,%Z $(doc_files) | sort > $@
  26
  27 old-stats:
  28         @mv -f stats $@ 2> /dev/null || touch $@
  29
  30 mostlyclean:
  31         @rm -f old-stats
  32
  33 clean: mostlyclean
  34         @rm -fr tip.sql stats $(FORMATS)
  35
  36 install: all
  37         mysql --default-character-set=utf8 -Dntd -uroot -p < tip.sql
  38
  39 .PHONY: old-stats stats html mostlyclean clean