diff options
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 |