diff --git a/doc/HTML.xsl b/doc/HTML.xsl index 6794deb9..fbf69bff 100644 --- a/doc/HTML.xsl +++ b/doc/HTML.xsl @@ -12,7 +12,7 @@