diff -r a01947bc9ab6 -r e60c68f33e4f documentation/graphs/fsm_pdo_entry_conf.dot --- a/documentation/graphs/fsm_pdo_entry_conf.dot Fri Feb 08 20:00:16 2013 +0100 +++ b/documentation/graphs/fsm_pdo_entry_conf.dot Fri Feb 08 20:01:06 2013 +0100 @@ -2,24 +2,26 @@ /* $Id$ */ digraph pdo_entry_conf { + node [fontname="Helvetica"] + edge [fontname="Helvetica", fontsize="12"] - start [fontname="Helvetica"] + start start -> zero_entry_count [weight=10] - zero_entry_count [fontname="Helvetica"] - zero_entry_count -> end [fontname="Helvetica",label="No Entries"] - zero_entry_count -> action_map [fontname="Helvetica",label="Add first entry", weight=10] + zero_entry_count + zero_entry_count -> end [label="No Entries"] + zero_entry_count -> action_map [label="Add first entry", weight=10] action_map [shape=point,label=""] action_map -> map_entry [weight=10] - map_entry [fontname="Helvetica"] - map_entry -> action_map [fontname="Helvetica",label="Next entry"] - map_entry -> set_entry_count [fontname="Helvetica",label="No more Entries", weight=10] + map_entry + map_entry -> action_map [label="Next entry"] + map_entry -> set_entry_count [label="No more Entries", weight=10] - set_entry_count [fontname="Helvetica"] + set_entry_count set_entry_count -> end [weight=10] - end [fontname="Helvetica"] + end end }