summaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-07-11 12:34:47 +0200
committerAkim Demaille <akim.demaille@gmail.com>2020-07-11 12:58:45 +0200
commit38a169bec159ef94dc7330e4a4834ebcbc4d25ca (patch)
tree3bd8c23ad1f56cf9763c729494df899988907a1c /data
parentdc77d6500fc26074895d9b8bb5089261dc7a28b1 (diff)
downloadbison-38a169bec159ef94dc7330e4a4834ebcbc4d25ca.tar.gz
html: capitalize titles
* data/xslt/xml2xhtml.xsl: Use "State 0", not "state 0". As we do in text reports.
Diffstat (limited to 'data')
-rw-r--r--data/xslt/xml2xhtml.xsl2
1 files changed, 1 insertions, 1 deletions
diff --git a/data/xslt/xml2xhtml.xsl b/data/xslt/xml2xhtml.xsl
index 706ff997..5fcfda67 100644
--- a/data/xslt/xml2xhtml.xsl
+++ b/data/xslt/xml2xhtml.xsl
@@ -412,7 +412,7 @@
<xsl:value-of select="concat('state_', @number)"/>
</xsl:attribute>
</a>
- <xsl:text>state </xsl:text>
+ <xsl:text>State </xsl:text>
<xsl:value-of select="@number"/>
</h3>
<xsl:text>&#10;&#10;</xsl:text>