qbe

commit d03bb5a180652bc6d0dbce74b58e641dfb2f1012
parent 274b07e224eb1cc64e1ae608619fb317d190740e
Author: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date:   Wed,  9 Mar 2016 14:32:35 -0500

add styling support

Diffstat:
M
doc/Makefile
 | 
10
++++++++--
A
doc/txt/txt.css
 | 
4
++++
R
doc/txt.ml -> doc/txt/txt.ml
 | 
0

3 files changed, 12 insertions(+), 2 deletions(-)
diff --git 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
@@ -0,0 +1,4 @@
+h3 {
+	border-bottom: 1px solid #aaa;
+	background-color: #eee;
+}
diff --git a/doc/txt.ml b/doc/txt/txt.ml