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/Makefile | |
| parent | 274b07e224eb1cc64e1ae608619fb317d190740e (diff) | |
| download | roux-d03bb5a180652bc6d0dbce74b58e641dfb2f1012.tar.gz | |
add styling support
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>'; \ ) > $@ |