commit 98c36c285008aed8f467293da993f859d18e1f2d
parent 34d97d41026c5000a6f1155b163e3f7c5317624f
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Tue, 8 Mar 2016 21:17:01 -0500
add build scripts
Diffstat:
2 files changed, 17 insertions(+), 0 deletions(-)
diff --git a/doc/.gitignore b/doc/.gitignore
@@ -0,0 +1 @@
+html/
diff --git a/doc/Makefile b/doc/Makefile
@@ -0,0 +1,16 @@
+.PHONY: all clean
+
+all: html/abi.html html/il.html
+
+clean:
+ rm -fr html
+
+html/%.html: %.txt
+ mkdir html 2> /dev/null || true
+ ( echo "<!doctype html>"; \
+ echo "<link rel="stylesheet" href="http://c9x.me/css/simple.css" type="text/css" />"; \
+ echo '<div class="container">'; \
+ sed -ne '2{s,.*,<h2>&</h2>,;p;q}' $<; \
+ sed -e '1,3d' $< | ocaml txt.ml; \
+ echo '</div>'; \
+ ) > $@
