docs: XSL: Add source document name as custom data attribute for <html>

The html standard allows custom data attributes on any element in the format of 'data-*' which are not interpreted. We can use it to embed the name of the source document used to generate the page so that our checker tools can use the friendly name. https://html.spec.whatwg.org/multipage/dom.html#embedding-custom-non-visible-data-with-the-data-*-attributes Signed-off-by: Peter Krempa <pkrempa@redhat.com> Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
2023-02-14 11:59:22 +01:00 · 2023-02-14 11:59:22 +01:00 · 65edcfd68f
parent 8c8eff610a
commit 65edcfd68f
1 changed files with 1 additions and 1 deletions
--- a/docs/page.xsl
+++ b/docs/page.xsl
@ -80,7 +80,7 @@
    <xsl:param name="timestamp"/>
    <xsl:text disable-output-escaping="yes">&lt;!DOCTYPE html&gt;
 </xsl:text>
-    <html>
+    <html data-sourcedoc="{$pagesrc}">
      <xsl:comment>
        This file is autogenerated from <xsl:value-of select="$pagesrc"/>
        Do not edit this file. Changes will be lost.