From: Diego Ongaro 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(";