doc: prefer the ".gv" extension to ".dot"

[bison.git] / doc / figs / example-reduce.gv

diff --git a/doc/figs/example-reduce.gv b/doc/figs/example-reduce.gv
new file mode 100644 (file)
index 0000000..fdd99c5
--- /dev/null
+++ b/doc/figs/example-reduce.gv
@@ -0,0 +1,11 @@
+digraph "reduce.y"
+{
+  node [fontname=courier shape=box]
+  edge [fontname=courier]
+
+  1 [label="State 1\n  3 a: \"0\" .  [\".\"]\l  4 b: \"0\" .  [\";\"]\l"]
+  1 -> "1R3" [label="" style=solid]
+ "1R3" [style=filled shape=diamond fillcolor=yellowgreen label="R3"]
+  1 -> "1R4" [label="[\";\"]" style=solid]
+ "1R4" [style=filled shape=diamond fillcolor=yellowgreen label="R4"]
+}