doc/mlb-formal/Makefile

   1 ## Copyright (C) 2004-2006 Henry Cejtin, Matthew Fluet, Suresh
   2  #    Jagannathan, and Stephen Weeks.
   3  #
   4  # MLton is released under a BSD-style license.
   5  # See the file MLton-LICENSE for details.
   6  ##
   7
   8 TEX_FILES := \
   9         bib.bib                 \
  10         mlb-formal.tex
  11
  12 all:    mlb-formal.ps mlb-formal.pdf
  13
  14 mlb-formal.dvi: $(TEX_FILES)
  15         latex mlb-formal; bibtex mlb-formal; latex mlb-formal; latex mlb-formal
  16
  17 mlb-formal.pdf: $(TEX_FILES)
  18         latex mlb-formal
  19         bibtex mlb-formal
  20         latex mlb-formal
  21         pdflatex mlb-formal
  22
  23 mlb-formal.ps: mlb-formal.dvi
  24         dvips -o mlb-formal.ps mlb-formal
  25
  26 .PHONY: clean
  27 clean:
  28         ../../bin/clean
  29
  30 .PHONY: tags
  31 tags:
  32         etags *.tex