From: erg Date: Mon, 1 Nov 2010 20:49:22 +0000 (+0000) Subject: Remove use of .dot from graphs/directed X-Git-Tag: LAST_LIBGRAPH~32^2~1145 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b3ab8230c3d5f934b6d8b59c9ceb4ed656f0af11;p=graphviz Remove use of .dot from graphs/directed --- 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: */