From 98c36c285008aed8f467293da993f859d18e1f2d Mon Sep 17 00:00:00 2001 From: Quentin Carbonneaux Date: Tue, 8 Mar 2016 21:17:01 -0500 Subject: add build scripts --- doc/Makefile | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 doc/Makefile (limited to 'doc/Makefile') 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 '
'; \ + ) > $@ -- cgit 1.4.1