Change in osmo-gsm-manuals[master]: INSTALL.txt: mention xmllint vs. SSL quirk and workaround

[Harald Welte]

Harald Welte has submitted this change and it was merged. ( https://gerrit.osmocom.org/9816 )

Change subject: INSTALL.txt: mention xmllint vs. SSL quirk and workaround
......................................................................

INSTALL.txt: mention xmllint vs. SSL quirk and workaround

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

Approvals:
  Jenkins Builder: Verified
  Harald Welte: Looks good to me, approved



diff --git a/INSTALL.txt b/INSTALL.txt
index d250750..9c3ee7b 100644
--- a/INSTALL.txt
+++ b/INSTALL.txt
@@ -6,6 +6,7 @@
   asciidoc-dblatex \
   xsltproc \
   dblatex \
+  docbook5-xml \
   mscgen \
   graphviz \
   python-pychart \
@@ -39,3 +40,7 @@
 
   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.)

-- 
To view, visit https://gerrit.osmocom.org/9816
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-gsm-manuals
Gerrit-Branch: master
Gerrit-MessageType: merged
Gerrit-Change-Id: I5e4389878ea3f23b826526de047f9e647c644888
Gerrit-Change-Number: 9816
Gerrit-PatchSet: 1
Gerrit-Owner: Neels Hofmeyr <nhofmeyr at sysmocom.de>
Gerrit-Reviewer: Harald Welte <laforge at gnumonks.org>
Gerrit-Reviewer: Jenkins Builder
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osmocom.org/pipermail/gerrit-log/attachments/20180702/b22f7513/attachment.htm>