From: Diego Ongaro <ongardie@gmail.com>
Date: Wed, 1 May 2013 05:14:14 +0000 (-0700)
Subject: contrib/dump-asy.pl: Display nicer double-quotes
X-Git-Tag: 4.6~41
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=1b8e8822b961283ef01c86c5a369a3383228dd29;p=i3%2Fi3

contrib/dump-asy.pl: Display nicer double-quotes

The right way to do this in LaTeX is ``foo'', not "foo".
---

diff --git a/contrib/dump-asy.pl b/contrib/dump-asy.pl
index c75dfcd0..3ebdb858 100755
--- a/contrib/dump-asy.pl
+++ b/contrib/dump-asy.pl
@@ -40,7 +40,7 @@ sub dump_node {
     if (!defined($n->{window})) {
         $type = $n->{orientation} . '-split';
     }
-    my $name = qq|\\"$na\\" ($type)|;
+    my $name = qq|``$na'' ($type)|;
 
     print $tmp "TreeNode n" . $n->{id} . " = makeNode(";