diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-03 10:37:59 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-03 10:37:59 +0000 |
| commit | 0453d5c45e8e8204f39311eebb0f7093d9e26b9b (patch) | |
| tree | f921f0e9c6ed360eb825949093576196f7b9482c /transfer/doc/Makefile | |
| parent | 145e0a4c8212a32c669d14cb67a615add5f0ad56 (diff) | |
Transfer: added beginnings of a type checking algorithm description.
Diffstat (limited to 'transfer/doc/Makefile')
| -rw-r--r-- | transfer/doc/Makefile | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/transfer/doc/Makefile b/transfer/doc/Makefile new file mode 100644 index 000000000..02f0bec10 --- /dev/null +++ b/transfer/doc/Makefile @@ -0,0 +1,41 @@ +FIGURES= + +NAME=typesystem + +default: pdf + +ps: $(NAME).ps + +pdf: $(NAME).pdf + +%.ps: %.dvi + dvips -f $^ > $@ + +#%.pdf: %.ps +# ps2pdf $^ + +%.pdf: %.dvi + dvipdfm $^ + +%.dvi: %.tex # %.bib + latex $* +# bibtex $* +# latex $* +# latex $* + +%.ps: %.dot + dot -Tps -o $@ $^ + +%.eps: %.ps + ps2epsi $^ $@ + +$(NAME).dvi: $(FIGURES) + +clean: + -rm -f *.aux *.dvi *.log *.blg *.bbl *.toc + +psclean: clean + -rm -f *.pdf *.ps + +show: $(NAME).dvi + xdvi $(NAME).dvi |