1 files changed, 0 insertions, 42 deletions
diff --git a/rpkid.without_tls/doc/pubd-bpki.dot b/rpkid.without_tls/doc/pubd-bpki.dot
deleted file mode 100644
index 44ad8a90..00000000
--- a/rpkid.without_tls/doc/pubd-bpki.dot
+++ /dev/null
@@ -1,42 +0,0 @@
-// $Id$
-
-// Color code:
-//   Black:   Operating entity
-//   Red:     Cross-certified client
-//
-// Shape code:
-//   Octagon: TA
-//   Diamond: CA
-//   Record:  EE
-
-digraph bpki_pubd {
-      splines = true;
-      size = "14,14";
-      node                    [ fontname = Times, fontsize = 9 ];
-
-      // Operating entity
-      node                    [ color = black, fontcolor = black, shape = record ];
-      TA                      [ shape = octagon, label = "BPKI TA" ];
-      pubd                    [ label = "pubd|{HTTPS server|CMS}" ];
-      ctl                     [ label = "Control|{HTTPS client|CMS}" ];
-
-      // Clients
-      node                    [ color = red, fontcolor = red, shape = diamond ];
-      Alice_CA;
-      Bob_CA;
-      node                    [ color = red, fontcolor = red, shape = record ];
-      Alice_EE                [ label = "Alice\nEE|{HTTPS client|CMS}" ];
-      Bob_EE                  [ label = "Bob\nEE|{HTTPS client|CMS}" ];
-
-      edge                    [ color = black, style = dotted ];
-      TA -> pubd;
-      TA -> ctl;
-
-      edge                    [ color = black, style = solid ];
-      TA -> Alice_CA;
-      TA -> Bob_CA;
-
-      edge                    [ color = red, style = solid ];
-      Alice_CA -> Alice_EE;
-      Bob_CA -> Bob_EE;
-}