From b3ab8230c3d5f934b6d8b59c9ceb4ed656f0af11 Mon Sep 17 00:00:00 2001
From: erg <devnull@localhost>
Date: Mon, 1 Nov 2010 20:49:22 +0000
Subject: [PATCH] Remove use of .dot from graphs/directed

---
 graphs/directed/states.gv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/graphs/directed/states.gv b/graphs/directed/states.gv
index 758abc901..173153b27 100644
--- 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:
 */
-- 
2.40.0