Remove use of .dot from graphs/directed

diff --git a/graphs/directed/states.gv b/graphs/directed/states.gv
index 758abc901dcf14251d9411fd886a4ef98757b7c8..173153b278d1f95e1066b566c7cc91e5a89893c6 100644 (file)
--- a/graphs/directed/states.gv
+++ b/graphs/directed/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:
 */