Hello, Currently the comments in the document are removed when converting to html. I propose to keep them as html comments.
The release notes have the git commit information in the comments, it would be great to have it in the html comments as well. That can be done with the attached patch.
diff --git a/doc/src/sgml/stylesheet-html-common.xsl b/doc/src/sgml/stylesheet-html-common.xsl index 9df2782ce4..ca5cce35f5 100644 --- a/doc/src/sgml/stylesheet-html-common.xsl +++ b/doc/src/sgml/stylesheet-html-common.xsl @@ -55,6 +55,9 @@ </span> </xsl:template> +<xsl:template match="comment()"> + <xsl:comment><xsl:value-of select="." /></xsl:comment> +</xsl:template> <!-- table of contents configuration -->
