minor stuff

[proglang.git] / Makefile

diff --git a/Makefile b/Makefile
index 5a3fb4ec64d64efa86cad1a20a15e5ea6e024677..cd6c0826fe51507d9d2868ab83f838d262a1d9d1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,6 @@
-all: Docsyntax.dvi Testsyntax Typechecker
+all: Typechecker
+
+doc: Docsyntax.dvi
 
 Docsyntax.dvi: Docsyntax.tex
        latex Docsyntax.tex; dvips Docsyntax.dvi -o Docsyntax.ps