Permalink
Browse files

add doc target to Makefile

  • Loading branch information...
avsm committed Jan 19, 2019
1 parent 57ca420 commit 3e9da85b0afeae1f21d0b5de0686137750c64bb5
Showing with 4 additions and 1 deletion.
  1. +4 −1 Makefile
@@ -1,4 +1,4 @@
.PHONY: all clean test
.PHONY: all clean test doc examples

all:
dune build
@@ -11,3 +11,6 @@ examples:

clean:
dune clean

doc:
dune build @doc

0 comments on commit 3e9da85

Please sign in to comment.