From: Akim Demaille <akim@lrde.epita.fr>
Date: Fri, 19 Oct 2012 09:28:59 +0000 (+0200)
Subject: xml: slight improvement of the DOT output
X-Git-Tag: v2.6.90~56
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/a8ad0481429ae03239cddc9ec31930b32de41830

xml: slight improvement of the DOT output

This was completely forgotten...  Nothing about XML is actually
documented...

* data/xslt/xml2dot.xsl: Use boxes, and Courier font.
---

diff --git a/data/xslt/xml2dot.xsl b/data/xslt/xml2dot.xsl
index 219faa2f..111613ce 100644
--- a/data/xslt/xml2dot.xsl
+++ b/data/xslt/xml2dot.xsl
@@ -55,7 +55,11 @@
   <xsl:call-template name="escape">
     <xsl:with-param name="subject" select="$filename"/>
   </xsl:call-template>
-  <xsl:text>"&#10;{&#10;</xsl:text>
+  <xsl:text>&#10;{
+  node [fontname = courier, shape = box, colorscheme = paired6]
+  edge [fontname = courier]
+
+</xsl:text>
   <xsl:apply-templates select="state"/>
   <xsl:text>}&#10;</xsl:text>
 </xsl:template>