diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-08 21:17:01 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-08 21:17:01 -0500 |
| commit | 98c36c285008aed8f467293da993f859d18e1f2d (patch) | |
| tree | 25595f05329ae9397d0b0875f05a7d6e6e4c7ec3 /doc | |
| parent | 34d97d41026c5000a6f1155b163e3f7c5317624f (diff) | |
| download | roux-98c36c285008aed8f467293da993f859d18e1f2d.tar.gz | |
add build scripts
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | doc/Makefile | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..5ccff1a --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1 @@ +html/ diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..d5a37da --- /dev/null +++ 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>'; \ + ) > $@ |