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

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

diff --git a/doc/figs/example-shift.dot b/doc/figs/example-shift.dot
deleted file mode 100644 (file)
index 995ba0e..0000000
--- a/doc/figs/example-shift.dot
+++ /dev/null
@@ -1,9 +0,0 @@
-digraph "shift.y"
-{
-  node [fontname=courier shape=box]
-  edge [fontname=courier]
-
-  3 [label="State 3\n  1 exp: a . \".\"\l"]
-  3 -> 6 [style=solid label="\".\""]
-  6 [label="State 6\n  1 exp: a \".\" .\l"]
-}