diff options
| author | Gabriel Kerneis | 2014-04-23 14:35:02 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-04-23 15:00:56 +0100 |
| commit | cd0728219401bf4b7dd8d43db7927d436318fd70 (patch) | |
| tree | a90bdb9d814b1bbbb320261f16779b5ad528a49a /src/Makefile | |
| parent | d9f3b585c5ccbffba88cb404287e95ec77bbaa76 (diff) | |
make doc
Build html doc of module interface
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 2a07baad..e6849b07 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,4 +1,4 @@ -.PHONY: all test clean update_lem_lib test_power +.PHONY: all test clean doc update_lem_lib test_power all: ocamlbuild -classic-display main.native test/run_tests.native @@ -17,3 +17,7 @@ clean: -rm -rf html-doc -rm -rf tex-doc -rm -rf lem lib + -rm -rf sail.docdir + +doc: + ocamlbuild sail.docdir/index.html |