X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Makefile;h=cd6c0826fe51507d9d2868ab83f838d262a1d9d1;hp=5a3fb4ec64d64efa86cad1a20a15e5ea6e024677;hb=fd2a569443cdb0813529071e77b999ea53397e43;hpb=ef4659dbfa5051372cf067f8c0ed2bbe77146650

diff --git a/Makefile b/Makefile
index 5a3fb4e..cd6c082 100644
--- 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