Change to vectorized

diff --git a/report2/.gitignore b/report2/.gitignore
index 6532fa3..0cbdd0c 100644 (file)
--- a/report2/.gitignore
+++ b/report2/.gitignore
@@ -4,3 +4,4 @@
 *.fmt
 *.eps
 *.toc
+*.dvi

diff --git a/report2/Makefile b/report2/Makefile
index 975d4f8..6ab35a3 100644 (file)
--- a/report2/Makefile
+++ b/report2/Makefile
@@ -7,10 +7,13 @@ GRAPHS:=toy.eps toy2.eps toy3.eps
 
 all: $(DOCUMENT).pdf
 
-%.pdf: %.tex %.fmt implementation.tex results.tex $(GRAPHS)
+%.dvi: %.tex %.fmt implementation.tex results.tex $(GRAPHS)
        $(LATEX) $<
        $(LATEX) $<
 
+%.pdf: %.dvi
+       dvipdfm $<
+
 %.eps: %.dot
        dot -Teps $< > $@
 
@@ -18,4 +21,4 @@ all: $(DOCUMENT).pdf
        $(LATEX) -ini -shell-escape -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
 clean:
-       $(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux) *.pdf *.eps
+       $(RM) -rv $(addprefix $(DOCUMENT).,fmt log aux dvi) *.pdf *.dvi *.eps

diff --git a/report2/report.dvi b/report2/report.dvi
deleted file mode 100644 (file)
index c3538e2..0000000
Binary files a/report2/report.dvi and /dev/null differ