helm/ocaml/cic_notation/doc/Makefile

   1
   2 #
   3 # Generic makefile for latex
   4 #
   5 # Author: Stefano Zacchiroli <zack@bononia.it>
   6 #
   7 # Created:       Sun, 29 Jun 2003 12:00:55 +0200 zack
   8 # Last-Modified: Tue, 05 Apr 2005 10:25:38 +0200 zack
   9 #
  10
  11 ########################################################################
  12
  13 # list of .tex _main_ files
  14 TEXS = main.tex
  15
  16 # number of runs of latex (for table of contents, list of figures, ...)
  17 RUNS = 1
  18
  19 # do you need bibtex?
  20 BIBTEX = no
  21
  22 # would you like to use pdflatex?
  23 PDF_VIA_PDFLATEX = yes
  24
  25 # which formats generated by default ("all" target)?
  26 # (others will be generated by "world" target)
  27 # see AVAILABLE_FORMATS below
  28 BUILD_FORMATS = dvi
  29
  30 # which format to be shown on "make show"
  31 SHOW_FORMAT = dvi
  32
  33 ########################################################################
  34
  35 AVAILABLE_FORMATS = dvi ps ps.gz pdf html
  36
  37 ADVI = advi
  38 BIBTEX = bibtex
  39 BROWSER = galeon
  40 DVIPDF = dvipdf
  41 DVIPS = dvips
  42 GV = gv
  43 GZIP = gzip
  44 HEVEA = hevea
  45 ISPELL = ispell
  46 LATEX = latex
  47 XDVI = xdvi
  48 XPDF = xpdf
  49 PDFLATEX = pdflatex
  50
  51 ALL_FORMATS = $(BUILD_FORMATS)
  52 WORLD_FORMATS = $(AVAILABLE_FORMATS)
  53
  54 all: $(ALL_FORMATS)
  55 world: $(WORLD_FORMATS)
  56
  57 DVIS = $(TEXS:.tex=.dvi)
  58 PSS = $(TEXS:.tex=.ps)
  59 PSGZS = $(TEXS:.tex=.ps.gz)
  60 PDFS = $(TEXS:.tex=.pdf)
  61 HTMLS = $(TEXS:.tex=.html)
  62
  63 dvi: $(DVIS)
  64 ps: $(PSS)
  65 ps.gz: $(PSGZS)
  66 pdf: $(PDFS)
  67 html: $(HTMLS)
  68
  69 show: show$(SHOW_FORMAT)
  70 showdvi: $(DVIS)
  71         $(XDVI) $<
  72 showps: $(PSS)
  73         $(GV) $<
  74 showpdf: $(PDFS)
  75         $(XPDF) $<
  76 showpsgz: $(PSGZS)
  77         $(GV) $<
  78 showps.gz: showpsgz
  79 showhtml: $(HTMLS)
  80         $(BROWSER) $<
  81
  82 clean:
  83         rm -f \
  84                 $(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \
  85                 $(TEXS:.tex=.pdf) $(TEXS:.tex=.aux) $(TEXS:.tex=.log) \
  86                 $(TEXS:.tex=.html) $(TEXS:.tex=.out) $(TEXS:.tex=.haux) \
  87                 $(TEXS:.tex=.htoc) $(TEXS:.tex=.tmp)
  88
  89 %.dvi: %.tex
  90         $(LATEX) $<
  91         if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
  92         if [ "$(RUNS)" -gt 1 ]; then \
  93                 for i in seq 1 `expr $(RUNS) - 1`; do \
  94                         $(LATEX) $<; \
  95                 done; \
  96         fi
  97 ifeq ($(PDF_VIA_PDFLATEX),yes)
  98 %.pdf: %.tex
  99         $(PDFLATEX) $<
 100         if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
 101         if [ "$(RUNS)" -gt 1 ]; then \
 102                 for i in seq 1 `expr $(RUNS) - 1`; do \
 103                         $(PDFLATEX) $<; \
 104                 done; \
 105         fi
 106 else
 107 %.pdf: %.dvi
 108         $(DVIPDF) $< $@
 109 endif
 110 %.ps: %.dvi
 111         $(DVIPS) $<
 112 %.ps.gz: %.ps
 113         $(GZIP) -c $< > $@
 114 %.html: %.tex
 115         $(HEVEA) -fix $<
 116
 117 .PHONY: all ps pdf html clean
 118
 119 ########################################################################
 120