--- a/documentation/graphs/fsm_sii.dot Fri Feb 08 20:00:16 2013 +0100
+++ b/documentation/graphs/fsm_sii.dot Fri Feb 08 20:01:06 2013 +0100
@@ -2,32 +2,34 @@
/* $Id$ */
digraph sii {
+ node [fontname="Helvetica"]
+ edge [fontname="Helvetica", fontsize="12"]
- start_reading [fontname="Helvetica"]
+ start_reading
start_reading -> read_check [weight=5]
- read_check [fontname="Helvetica"]
+ read_check
read_check -> error
read_check -> read_fetch [weight=5]
- read_fetch [fontname="Helvetica"]
+ read_fetch
read_fetch -> error
read_fetch -> end [weight=5]
read_fetch -> read_fetch
- start_writing [fontname="Helvetica"]
+ start_writing
start_writing -> write_check [weight=5]
- write_check [fontname="Helvetica"]
+ write_check
write_check -> error
write_check -> write_check2 [weight=5]
- write_check2 [fontname="Helvetica"]
+ write_check2
write_check2 -> error
write_check2 -> end [weight=5]
write_check2 -> write_check2
- end [fontname="Helvetica"]
+ end
- error [fontname="Helvetica"]
+ error
}