diff options
| -rw-r--r-- | doc/Makefile | 10 | ||||
| -rw-r--r-- | doc/txt/txt.css | 4 | ||||
| -rw-r--r-- | doc/txt/txt.ml (renamed from doc/txt.ml) | 0 |
3 files changed, 12 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>'; \ ) > $@ diff --git a/doc/txt/txt.css b/doc/txt/txt.css new file mode 100644 index 0000000..a012223 --- /dev/null +++ b/doc/txt/txt.css @@ -0,0 +1,4 @@ +h3 { + border-bottom: 1px solid #aaa; + background-color: #eee; +} diff --git a/doc/txt.ml b/doc/txt/txt.ml index a753cc3..a753cc3 100644 --- a/doc/txt.ml +++ b/doc/txt/txt.ml |