From 968523fdfb49598a5aa0b8cf3356a2a688274eb8 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@hungry.com>
Date: Mon, 12 Oct 2020 14:43:53 +0200
Subject: [PATCH 1/1] Generate UTF-8 HTML files.

---
 Makefile         |  2 +-
 docbook-utf8.xsl | 10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletion(-)
 create mode 100644 docbook-utf8.xsl

diff --git a/Makefile b/Makefile
index c0092e3..44413e7 100644
--- a/Makefile
+++ b/Makefile
@@ -43,7 +43,7 @@ $(SOURCE).nb.pdf: $(SOURCE).nb.xml Makefile pdf.xsl
 	dbtoepub -s epub.xsl $^ -o $@
 
 .xml.html:
-	xmlto -m pdf.xsl html-nochunks $^
+	xmlto -x docbook-utf8.xsl -m pdf.xsl html-nochunks $^
 
 XMLLINTOPTS = --nonet --noout  --xinclude --postvalid 
 lint: book.xml
diff --git a/docbook-utf8.xsl b/docbook-utf8.xsl
new file mode 100644
index 0000000..549ae30
--- /dev/null
+++ b/docbook-utf8.xsl
@@ -0,0 +1,10 @@
+<?xml version='1.0'?>
+<xsl:stylesheet  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                 version="1.0">
+
+<xsl:import href="/usr/share/xml/docbook/stylesheet/docbook-xsl/html/docbook.xsl"/>
+<xsl:output method="html"
+            encoding="UTF-8"
+            indent="no"/>
+
+</xsl:stylesheet>
-- 
2.47.2