Remove uses of .dot from rtest

diff --git a/rtest/graphs/states.gv b/rtest/graphs/states.gv
index 758abc901dcf14251d9411fd886a4ef98757b7c8..173153b278d1f95e1066b566c7cc91e5a89893c6 100644 (file)
--- a/rtest/graphs/states.gv
+++ b/rtest/graphs/states.gv
@@ -1,7 +1,7 @@
 /*
 The command line is
 
-  dot -Tps -Grankdir=LR states.dot > states.ps
+  dot -Tps -Grankdir=LR states.gv > states.ps
 
 and the file is:
 */