X-Git-Url: https://ruin.nu/git/?a=blobdiff_plain;f=Makefile;h=e52bbb4415a70c63239390f32493a7a83304d74a;hb=9254ff63648d9a6f4b058c0a53438db7b60a28cd;hp=e065a1ac77d78adfbdfd71a0bcabd710d5c8e346;hpb=d606bc7eda59e30fbb75555b4d4c5da91b7327b9;p=proglang.git diff --git a/Makefile b/Makefile index e065a1a..e52bbb4 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -all: Testsyntax +all: Testsyntax Typechecker doc: Docsyntax.dvi