diff options
| author | Rob Austein <sra@hactrn.net> | 2008-10-09 18:19:53 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2008-10-09 18:19:53 +0000 |
| commit | 256cac33a6f3d7e446c1da349e35d377b21f1d85 (patch) | |
| tree | 8b58b39750106895aaa9d9d130ce7e452576e92b /rpkid/rpki/__init__.py | |
| parent | ec17f1c9b0c21e9a6901179f2c7304ab34c70408 (diff) | |
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
Diffstat (limited to 'rpkid/rpki/__init__.py')
| -rw-r--r-- | rpkid/rpki/__init__.py | 2 |
1 files changed, 2 insertions, 0 deletions
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 ]; |