From d03bb5a180652bc6d0dbce74b58e641dfb2f1012 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 9 Mar 2016 14:32:35 -0500
Subject: add styling support

---
 doc/Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile')

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>'; \
 	) > $@
-- 
cgit 1.4.1