helm/www/matita/Makefile

   1
   2 # should be a checked out version of sofware/matita/help/C/ (or a symlink to it)
   3 DOCS_SRC_DIR = docs-src
   4 DOCS_DEST_DIR = docs/manual
   5
   6 MARGIN_X=30
   7 MARGIN_Y=206
   8 SIZE_X=426
   9 SIZE_Y=70
  10
  11 SEQ=3
  12
  13 all:
  14         @echo
  15         @echo "Nothing to do per default, interesting targets:"
  16         @echo
  17         @echo "  manual    # import the (xhtml version of the) user manual"
  18         @echo "  images    # build images for the splash screen"
  19         @echo "  papers    # build the papers page from xml/papers.xml"
  20         @echo
  21
  22 clean:
  23
  24 manual: manual-stamp
  25 manual-stamp: $(DOCS_SRC_DIR)/*.xml $(DOCS_SRC_DIR)/*.xsl
  26         $(MAKE) -C $(DOCS_SRC_DIR)/ html
  27         rm -rf $(DOCS_DEST_DIR)/*
  28         test -d $(DOCS_DEST_DIR)/ || mkdir -p $(DOCS_DEST_DIR)/
  29         cp $(DOCS_SRC_DIR)/*.html $(DOCS_SRC_DIR)/*.css $(DOCS_DEST_DIR)/
  30         touch $@
  31
  32 papers: papers.shtml
  33 papers.shtml: xsl/papers2xhtml.xsl xml/papers.xml
  34         xsltproc $^ > $@
  35
  36 .PHONY: images
  37 images: images/matita.xcf
  38         for Y in `seq 0 $(SEQ)`; do \
  39                 convert images/matita.png -crop \
  40                         $(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \
  41                 composite -compose src-over images/bg.png tmp.png images/bg$$Y.png;\
  42         done;\
  43         rm tmp.png
  44
  45 clean:
  46         rm -f manual-stamp
  47 dist-clean: clean
  48         for X in `seq 0 $(SEQ)`; do\
  49                 rm images/bg$$X.png;\
  50         done
  51