Remove uses of .dot from share/examples

diff --git a/share/examples/4elt.dot b/share/examples/4elt.gv
similarity index 100%
rename from share/examples/4elt.dot
rename to share/examples/4elt.gv

diff --git a/share/examples/Makefile.am b/share/examples/Makefile.am
index 6c78b78337e98bb0edf0d9f5aea98f704673be80..b7e53de6259da58ce2071d466f1e06181d941d55 100644 (file)
--- a/share/examples/Makefile.am
+++ b/share/examples/Makefile.am
@@ -3,7 +3,7 @@
 #
 
 examplesdir = $(pkgdatadir)/examples
-examples = 4elt.dot world.dot
+examples = 4elt.gv world.gv
 
 if WITH_SMYRNA
 examples_DATA = $(examples)

diff --git a/share/examples/world.dot b/share/examples/world.gv
similarity index 100%
rename from share/examples/world.dot
rename to share/examples/world.gv