Add doc target in Makefile.

mandel · mandel · commit a4509c880340 · 2017-10-02T12:50:31.000-04:00
diff --git a/Makefile b/Makefile
@@ -25,6 +25,9 @@ build:
 test:
 	$(JBUILDER) runtest
 
+doc:
+	$(JBUILDER) build @doc
+
 install:
 	$(JBUILDER) install
 
@@ -45,4 +48,4 @@ realcleanall: cleanall
 	rm -f bin/wcs
 
 
-.PHONY: all build test clean cleanall
+.PHONY: all build test doc clean cleanall
