summary refs log tree commit diff
path: root/doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile10
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>'; \
 	) > $@