From 084815601d9ff56e7f455a88b3fcdd7375676ba1 Mon Sep 17 00:00:00 2001 From: Christopher Lemmer Webber Date: Mon, 12 Jul 2021 10:22:31 -0400 Subject: [PATCH] Makefile: Add docs and all commands --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) 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