From 1a97ddc77c0cd35dde94bad4730cbd4f5e96b6cf Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Wed, 13 Jul 2016 19:00:45 +0200
Subject: [PATCH] Using correct tail for children
---
mkdot.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mkdot.py b/mkdot.py
index 9909323..2d3d28f 100644
--- a/mkdot.py
+++ b/mkdot.py
@@ -47,6 +47,6 @@ def convert(f, output=None):
options = 'headlabel = "{0}", label = "{1}"'.format('*', context)
else:
options = 'headlabel = "*"'
- fd.write('{0} -> {1}[{2}]\n'.format(lhand, child, options))
+ fd.write('{0} -> {1}[arrowtail = diamond, dir = back, {2}]\n'.format(lhand, child, options))
fd.write(footer)
local_quiet('dot {0} -Tpdf > {0}.pdf'.format(output))
--
GitLab