From 0560fc7964a1d0864b0371b5874ea0ad44564275 Mon Sep 17 00:00:00 2001
From: Michael Stapelberg <michael@stapelberg.de>
Date: Fri, 23 Nov 2012 20:29:08 +0100
Subject: [PATCH] dump-asy: start gv without widgets and fit the drawing to
 window

---
 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 5af9bb42..3b989bd7 100755
--- a/contrib/dump-asy.pl
+++ b/contrib/dump-asy.pl
@@ -42,4 +42,4 @@ say $tmp "draw(n" . $tree->{id} . ", (0, 0));";
 close($tmp);
 my $rep = "$tmp";
 $rep =~ s/asy$/eps/;
-system("cd /tmp && asy $tmp && gv $rep && rm $rep");
+system("cd /tmp && asy $tmp && gv --scale=-1000 --noresize --widgetless $rep && rm $rep");
-- 
2.39.5