diff --git a/Makefile b/Makefile index 980e038..4f38c3b 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +all: compile docs check + compile: raco make -l goblins @@ -9,3 +11,8 @@ check: clean: find goblins -name compiled | xargs rm -rf rm -rf goblins/doc + +doc: docs + +docs: + scribble +m --htmls goblins/scribblings/goblins.scrbl