From 1b8e8822b961283ef01c86c5a369a3383228dd29 Mon Sep 17 00:00:00 2001
From: Diego Ongaro <ongardie@gmail.com>
Date: Tue, 30 Apr 2013 22:14:14 -0700
Subject: [PATCH] contrib/dump-asy.pl: Display nicer double-quotes

The right way to do this in LaTeX is ``foo'', not "foo".
---
 contrib/dump-asy.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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(";