From 35c0eaa8b031933162a9a7b940f081d7f8ffe4f0 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Tue, 8 Jul 2014 01:00:07 +0200
Subject: [PATCH] Output the HTML documentation truly in the fashion of manual
 pages

---
 Makefile           |  2 ++
 doc/Makefile       |  2 +-
 doc/manual.css.xml | 33 +++++++++++++++++++++++++++++++++
 doc/mixer.css.xml  |  7 +++++++
 doc/project.conf   |  4 ++--
 5 files changed, 45 insertions(+), 3 deletions(-)
 create mode 100644 doc/manual.css.xml
 create mode 100644 doc/mixer.css.xml

diff --git a/Makefile b/Makefile
index 4684c95..6b7ff5c 100644
--- a/Makefile
+++ b/Makefile
@@ -26,6 +26,8 @@ dist:
 		$(PACKAGE)-$(VERSION)/data/project.conf \
 		$(PACKAGE)-$(VERSION)/doc/Makefile \
 		$(PACKAGE)-$(VERSION)/doc/docbook.sh \
+		$(PACKAGE)-$(VERSION)/doc/manual.css.xml \
+		$(PACKAGE)-$(VERSION)/doc/mixer.css.xml \
 		$(PACKAGE)-$(VERSION)/doc/mixer.xml \
 		$(PACKAGE)-$(VERSION)/doc/project.conf \
 		$(PACKAGE)-$(VERSION)/po/Makefile \
diff --git a/doc/Makefile b/doc/Makefile
index e10cbf3..19471f6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,7 +12,7 @@ all: $(TARGETS)
 mixer.1: mixer.xml
 	./docbook.sh -P "$(PREFIX)" -- "mixer.1"
 
-mixer.html: mixer.xml
+mixer.html: manual.css.xml mixer.css.xml mixer.xml
 	./docbook.sh -P "$(PREFIX)" -- "mixer.html"
 
 clean:
diff --git a/doc/manual.css.xml b/doc/manual.css.xml
new file mode 100644
index 0000000..44af16b
--- /dev/null
+++ b/doc/manual.css.xml
@@ -0,0 +1,33 @@
+<?xml version="1.0"?>
+<style><![CDATA[/* $Id$ */
+
+div.refentry {
+	font-family:			monospace;
+	margin-left:			5ex;
+	min-width:			102ex;
+	width:				102ex;
+}
+
+div.refentry h1, div.refentry h2, div.refentry h3 {
+	font-size:			inherit;
+	margin-bottom:			0;
+}
+
+div.refentry h1, div.refentry h2 {
+	margin-left:			-4ex;
+	text-transform:			uppercase;
+}
+
+div.refentry h3 {
+	margin-left:			-2ex;
+}
+
+div.refentry p {
+	margin-top:			0;
+	padding-top:			0;
+}
+
+div.refentry blockquote, div.refentry pre {
+	margin-left:			5ex;
+}
+]]></style>
diff --git a/doc/mixer.css.xml b/doc/mixer.css.xml
new file mode 100644
index 0000000..08d8dd3
--- /dev/null
+++ b/doc/mixer.css.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0"?>
+<!-- $Id$ -->
+<!DOCTYPE style [
+<!ENTITY manual "manual.css.xml">
+]>
+<xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="&manual;"/>
+<!-- vim: set noet ts=1 sw=1 sts=1 tw=80: -->
diff --git a/doc/project.conf b/doc/project.conf
index 107c8d2..d9def68 100644
--- a/doc/project.conf
+++ b/doc/project.conf
@@ -1,5 +1,5 @@
 targets=mixer.1,mixer.html
-dist=Makefile,docbook.sh,mixer.xml
+dist=Makefile,docbook.sh,manual.css.xml,mixer.css.xml,mixer.xml
 
 [mixer.1]
 type=script
@@ -11,4 +11,4 @@ depends=mixer.xml
 type=script
 script=./docbook.sh
 install=
-depends=mixer.xml
+depends=manual.css.xml,mixer.css.xml,mixer.xml