]> git.saurik.com Git - bison.git/commitdiff
xml: use %empty in the text output
authorAkim Demaille <akim@lrde.epita.fr>
Wed, 29 May 2013 15:07:32 +0000 (17:07 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Thu, 30 May 2013 09:07:57 +0000 (11:07 +0200)
* data/xslt/xml2text.xsl: here.

data/xslt/xml2text.xsl

index c4651d4de67dacd523f714da3e025645570a872c..2626f566b18630e5ca5ecdc9b9210b10ddae71a7 100644 (file)
 </xsl:template>
 
 <xsl:template match="empty">
-  <xsl:text> /* empty */</xsl:text>
+  <xsl:text> %empty</xsl:text>
 </xsl:template>
 
 <xsl:template match="lookaheads">