From 98c36c285008aed8f467293da993f859d18e1f2d Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Tue, 8 Mar 2016 21:17:01 -0500 Subject: [PATCH] add build scripts --- doc/.gitignore | 1 + doc/Makefile | 16 ++++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 doc/.gitignore create mode 100644 doc/Makefile 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 ""; \ + echo ""; \ + echo '
'; \ + sed -ne '2{s,.*,

&

,;p;q}' $<; \ + sed -e '1,3d' $< | ocaml txt.ml; \ + echo '
'; \ + ) > $@