aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/images/repository-structure.dot8
1 files changed, 4 insertions, 4 deletions
diff --git a/docs/images/repository-structure.dot b/docs/images/repository-structure.dot
index 5e7cad6b..7154202d 100644
--- a/docs/images/repository-structure.dot
+++ b/docs/images/repository-structure.dot
@@ -3,10 +3,6 @@
//
// Pictures to go with repository-structure.txt. First picture is rekeying b with
// a g(ski)/g(ski)/g(ski).cer model, second is with stable meaningless identifiers.
-//
-// Render thusly:
-//
-// dot -Tps2 repository-structure.dot | ps2pdf - repository-structure.pdf
graph rekeying_ski {
rotate=90; size="11,8.5"; splines=true; ratio=fill;
@@ -40,3 +36,7 @@ graph rekeying_gensym {
a -- b_ [ color=green ];
b_ -- c [ color=green ];
}
+
+// Local Variables:
+// compile-command: "dot -Tps2 repository-structure.dot | ps2pdf - repository-structure.pdf"
+// End: