pve-docs/debian
Thomas Lamprecht 60598f4ce3 mediawiki: bring doc includer again in line with the HTMLets plug it bases on
We probably always wanted to use a real HTML comment as "tag" here,
but it seems the '!' was forgotten. With older mediawiki it still
worked, but 1.31 got stricter and thus it was converted to HTML
entities.

Bring the plugin again in line with the HTMLets MediaWiki
extension[0] it based on in the first place.

[0]: 11e5ef1ea2/HTMLets.php (140)

Signed-off-by: Thomas Lamprecht <t.lamprecht@proxmox.com>
2019-07-26 08:52:08 +02:00
..
tree/pve-docs-mediawiki mediawiki: bring doc includer again in line with the HTMLets plug it bases on 2019-07-26 08:52:08 +02:00
changelog bump version to 6.0-4 2019-07-15 21:53:35 +02:00
compat d/compat: bump to 10 2018-09-13 09:06:43 +02:00
control d/control: document libmediawiki-api-perl as pve-docs-mediawiki depends 2019-07-11 16:05:53 +02:00
copyright d/copyright: update years 2019-05-28 15:31:07 +02:00
install create debian package with all sources to generate pve manual pages 2016-04-06 09:58:22 +02:00
pve-doc-generator.docs simplify package build system (single debian dir) 2016-05-25 07:25:05 +02:00
pve-doc-generator.install asciidoc-pve.conf: use extra asciidoc configuration file 2016-11-07 08:19:04 +01:00
pve-docs-mediawiki.docs build: wrap-and-sort debian/ 2018-09-13 08:50:11 +02:00
pve-docs-mediawiki.install fixup: TOC JS script is already in html pages for mediawiki 2019-07-25 18:05:30 +02:00
pve-docs.docs simplify package build system (single debian dir) 2016-05-25 07:25:05 +02:00
pve-docs.install simplify package build system (single debian dir) 2016-05-25 07:25:05 +02:00
pve-docs.links api-viewer: use our extjs package 2018-07-26 14:11:00 +02:00
rules build: refactor build process 2018-09-13 08:40:01 +02:00