From 256cac33a6f3d7e446c1da349e35d377b21f1d85 Mon Sep 17 00:00:00 2001 From: Rob Austein Date: Thu, 9 Oct 2008 18:19:53 +0000 Subject: Quick-n-dirty whack to BPKI pictures to get the labels to fit. Some kind of Graphviz/Ghostscript font weirdness going on here, this renders fine on my desk machine but not on the server where the doc cronjob runs. Long term fix is probably to move the DOT description out of this file entirely, use dot to convert it to SVG, then use @image to import it into the HTML documentation. svn path=/rpkid/rpki/__init__.py; revision=2011 --- rpkid/rpki/__init__.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rpkid/rpki/__init__.py b/rpkid/rpki/__init__.py index 36bb2fd1..1ac55ca3 100644 --- a/rpkid/rpki/__init__.py +++ b/rpkid/rpki/__init__.py @@ -1814,6 +1814,7 @@ # digraph bpki_rpkid { # splines = true; # size = "14,14"; +# node [ fontname = Times, fontsize = 9 ]; # # // Hosting entity # node [ color = black, shape = record ]; @@ -1927,6 +1928,7 @@ # digraph bpki_pubd { # splines = true; # size = "14,14"; +# node [ fontname = Times, fontsize = 9 ]; # # // Operating entity # node [ color = black, fontcolor = black, shape = record ]; -- cgit v1.2.3