From cd0728219401bf4b7dd8d43db7927d436318fd70 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 23 Apr 2014 14:35:02 +0100
Subject: make doc

Build html doc of module interface
---
 src/Makefile   |  6 +++++-
 src/sail.odocl | 16 ++++++++++++++++
 2 files changed, 21 insertions(+), 1 deletion(-)
 create mode 100644 src/sail.odocl

(limited to 'src')

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
-- 
cgit v1.2.3