X-Git-Url: https://ruin.nu/git/?p=proglang.git;a=blobdiff_plain;f=Makefile;h=e52bbb4415a70c63239390f32493a7a83304d74a;hp=e065a1ac77d78adfbdfd71a0bcabd710d5c8e346;hb=ff80cbdaf843e2745f59e6f5d3c8670cadbf68b2;hpb=d606bc7eda59e30fbb75555b4d4c5da91b7327b9 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