From 0453d5c45e8e8204f39311eebb0f7093d9e26b9b Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Fri, 3 Mar 2006 10:37:59 +0000
Subject: Transfer: added beginnings of a type checking algorithm description.

---
 transfer/doc/Makefile | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 transfer/doc/Makefile

(limited to 'transfer/doc/Makefile')

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
-- 
cgit v1.2.3