diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 1ae14ef..a5816cb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -2,7 +2,10 @@ DOCS = abi il -all: $(DOCS:%=html/%.html) +all: $(DOCS:%=html/%.html) html/txt.css + +html/txt.css: txt/txt.css + cp -f $< $@ clean: rm -fr html @@ -13,9 +16,12 @@ html/%.html: %.txt echo '<link rel="stylesheet"' \ 'href="http://c9x.me/css/simple.css"' \ 'type="text/css" />'; \ + echo '<link rel="stylesheet"' \ + 'href="txt.css"' \ + 'type="text/css" />'; \ sed -ne '2{s,.*,<title>&</title>,;p;q}' $<; \ echo '<div class="container">'; \ sed -ne '2{s,.*,<h2>&</h2>,;p;q}' $<; \ - sed -e '1,3d' $< | ocaml txt.ml; \ + sed -e '1,3d' $< | ocaml txt/txt.ml; \ echo '</div>'; \ ) > $@ |