From dd8c04812ed811e985a51a5633137e9d8370cd40 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Mon, 2 Jul 2018 15:13:38 +0200
Subject: INSTALL.txt: mention xmllint vs. SSL quirk and workaround

Related: OS#3072
Change-Id: I5e4389878ea3f23b826526de047f9e647c644888
---
 INSTALL.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/INSTALL.txt b/INSTALL.txt
index d250750..9c3ee7b 100644
--- a/INSTALL.txt
+++ b/INSTALL.txt
@@ -6,6 +6,7 @@ apt-get install \
   asciidoc-dblatex \
   xsltproc \
   dblatex \
+  docbook5-xml \
   mscgen \
   graphviz \
   python-pychart \
@@ -39,3 +40,7 @@ b) launching an osmo-msc along:
 
   osmo_interact_vty.py -r "osmo-msc -c ~/src/osmo-msc/doc/examples/osmo-msc/osmo-msc.cfg" \
     -X -p 4254 > OsmoMSC/vty/msc_vty_reference.xml
+
+Note that docbook.org since recently are providing DTDs only on HTTPS URLs,
+while xmllint is incapable of SSL. Hence it is necessary to locally install the
+docbook DTDs. (On Debian, these are included in the docbook5-xml package.)
-- 
cgit v1.2.3