diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-09 14:32:35 -0500 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-03-09 14:32:35 -0500 |
| commit | d03bb5a180652bc6d0dbce74b58e641dfb2f1012 (patch) | |
| tree | 2b9ae22f42db055020f7a1a3476fc332539bb44e /doc | |
| parent | 274b07e224eb1cc64e1ae608619fb317d190740e (diff) | |
| download | roux-d03bb5a180652bc6d0dbce74b58e641dfb2f1012.tar.gz | |
add styling support
Diffstat (limited to 'doc')
| -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 |