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

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

diff --git a/doc/figs/example-reduce.dot b/doc/figs/example-reduce.dot
deleted file mode 100644 (file)
index fdd99c5..0000000
--- a/doc/figs/example-reduce.dot
+++ /dev/null
@@ -1,11 +0,0 @@
-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"]
-}