[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