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

The right way to do this in LaTeX is ``foo'', not "foo".
tdemin · May 5, 2013 · 1b8e882 · 1b8e882
1 parent 22ca203
commit 1b8e882
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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(";