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 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/Makefile')

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