From fe3dc86f9d7d656024a6e87fd5b5e71996d05fec Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Tue, 8 Jul 2014 00:57:06 +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/project.conf     |  4 ++--
 doc/terminal.css.xml |  7 +++++++
 5 files changed, 45 insertions(+), 3 deletions(-)
 create mode 100644 doc/manual.css.xml
 create mode 100644 doc/terminal.css.xml

diff --git a/Makefile b/Makefile
index ab7411d..d688b7c 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,8 @@ dist:
 		$(PACKAGE)-$(VERSION)/doc/Makefile \
 		$(PACKAGE)-$(VERSION)/doc/Xresources \
 		$(PACKAGE)-$(VERSION)/doc/docbook.sh \
+		$(PACKAGE)-$(VERSION)/doc/manual.css.xml \
+		$(PACKAGE)-$(VERSION)/doc/terminal.css.xml \
 		$(PACKAGE)-$(VERSION)/doc/terminal.xml \
 		$(PACKAGE)-$(VERSION)/doc/project.conf \
 		$(PACKAGE)-$(VERSION)/po/Makefile \
diff --git a/doc/Makefile b/doc/Makefile
index 4dd2f6f..5957040 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -12,7 +12,7 @@ all: $(TARGETS)
 terminal.1: terminal.xml
 	./docbook.sh -P "$(PREFIX)" -- "terminal.1"
 
-terminal.html: terminal.xml
+terminal.html: manual.css.xml terminal.css.xml terminal.xml
 	./docbook.sh -P "$(PREFIX)" -- "terminal.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/project.conf b/doc/project.conf
index c8bd60e..c3dcdb3 100644
--- a/doc/project.conf
+++ b/doc/project.conf
@@ -1,5 +1,5 @@
 targets=terminal.1,terminal.html
-dist=Makefile,Xresources,docbook.sh,terminal.xml
+dist=Makefile,Xresources,docbook.sh,manual.css.xml,terminal.css.xml,terminal.xml
 
 [terminal.1]
 type=script
@@ -11,4 +11,4 @@ depends=terminal.xml
 type=script
 script=./docbook.sh
 install=
-depends=terminal.xml
+depends=manual.css.xml,terminal.css.xml,terminal.xml
diff --git a/doc/terminal.css.xml b/doc/terminal.css.xml
new file mode 100644
index 0000000..08d8dd3
--- /dev/null
+++ b/doc/terminal.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: -->