diff options
author | Olivier Hallot <olivier.hallot@libreoffice.org> | 2024-01-06 18:58:51 -0300 |
---|---|---|
committer | Olivier Hallot <olivier.hallot@libreoffice.org> | 2024-01-07 00:31:08 +0100 |
commit | 23ad83d4896c48c351d50ec7daaffff85b801c55 (patch) | |
tree | bd0af19c2addde4a2c74acfd174b2bac77b08464 /helpers | |
parent | b3f698f85e18a09f6944f1f4083498496a1a8ba5 (diff) |
Allow help-id-missing to be clipboarded
Change-Id: I32b6e24d9d1d1f281449d49bfc5a707801e4d016
Reviewed-on: https://gerrit.libreoffice.org/c/help/+/161732
Tested-by: Jenkins
Reviewed-by: Olivier Hallot <olivier.hallot@libreoffice.org>
Diffstat (limited to 'helpers')
-rw-r--r-- | helpers/xmlhelp.dtd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/helpers/xmlhelp.dtd b/helpers/xmlhelp.dtd index cf15dcd4a0..82c968f02d 100644 --- a/helpers/xmlhelp.dtd +++ b/helpers/xmlhelp.dtd @@ -107,7 +107,7 @@ Version Nov 2018 <!ELEMENT keycode (#PCDATA)> -<!ELEMENT input (#PCDATA)> +<!ELEMENT input (#PCDATA | help-id-missing)*> <!ELEMENT literal (#PCDATA)> |