Makefile: Add docs and all commands

5 years ago · 084815601d
1 changed files with 7 additions and 0 deletions
--- a/7
+++ b/7
@ -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