[rkward] doc/rkwardplugins: javascript entity is not defined on older systems (notably breaks the build on Ubuntu 16.04)

Thomas Friedrichsmeier null at kde.org
Sun Sep 30 07:21:53 BST 2018


Git commit c3417a87eb7fffab0dd16203beacb32e99442502 by Thomas Friedrichsmeier.
Committed on 30/09/2018 at 06:20.
Pushed by tfry into branch 'master'.

javascript entity is not defined on older systems (notably breaks the build on Ubuntu 16.04)

M  +1    -0    doc/rkwardplugins/index.docbook

https://commits.kde.org/rkward/c3417a87eb7fffab0dd16203beacb32e99442502

diff --git a/doc/rkwardplugins/index.docbook b/doc/rkwardplugins/index.docbook
index 1ce26996..54df8ef2 100644
--- a/doc/rkwardplugins/index.docbook
+++ b/doc/rkwardplugins/index.docbook
@@ -2,6 +2,7 @@
 <!DOCTYPE book PUBLIC "-//KDE//DTD DocBook XML V4.5-Based Variant V1.1//EN" "dtd/kdedbx45.dtd" [
   <!ENTITY rkward '<application>RKWard</application>'>
   <!ENTITY R '<application>R</application>'>
+  <!ENTITY javascript 'JavaScript'>
   <!ENTITY pluginmap '<literal role="extension">.pluginmap</literal>'>
   <!ENTITY % addindex "IGNORE">
   <!ENTITY % English "INCLUDE"><!-- change language only here -->


More information about the kde-doc-english mailing list