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