+ <xsl:text>// Generated by GNU Bison </xsl:text>
+ <xsl:value-of select="@version"/>
+ <xsl:text>. </xsl:text>
+ <xsl:text>// Report bugs to <</xsl:text>
+ <xsl:value-of select="@bug-report"/>
+ <xsl:text>>. </xsl:text>
+ <xsl:text>// Home page: <</xsl:text>
+ <xsl:value-of select="@url"/>
+ <xsl:text>>. </xsl:text>
+ <xsl:apply-templates select="automaton">
+ <xsl:with-param name="filename" select="filename"/>
+ </xsl:apply-templates>