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 | |
| parent | d9f3b585c5ccbffba88cb404287e95ec77bbaa76 (diff) | |
make doc
Build html doc of module interface
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 6 | ||||
| -rw-r--r-- | src/sail.odocl | 16 |
2 files changed, 21 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 diff --git a/src/sail.odocl b/src/sail.odocl new file mode 100644 index 00000000..65935655 --- /dev/null +++ b/src/sail.odocl @@ -0,0 +1,16 @@ +ast +finite_map +initial_check +lexer +main +parse_ast +parser +pp +pre_lexer +pre_parser +pretty_print +process_file +reporting_basic +type_check +type_internal +util |