# HG changeset patch
# User kpeter
# Date 1199407628 0
# Node ID 5f711e4668f53dab5fdac7f55be3d7ea95dd7eb1
# Parent  5004899aa8709b6c2c2e7ff06bb2a94e7692a2e1
Improved rename script to avoid "undirected digraph".

diff -r 5004899aa870 -r 5f711e4668f5 scripts/rename-graphs
--- a/scripts/rename-graphs	Mon Dec 31 19:21:21 2007 +0000
+++ b/scripts/rename-graphs	Fri Jan 04 00:47:08 2008 +0000
@@ -4,6 +4,7 @@
 
 cat $1 | \
 sed -e "s/bipartite undirected graph/bipartite graph/g"\
+	-e "s/undirected graph/_gr_aph_label_/g"\
 	-e "s/undirected edge/_ed_ge_label_/g"\
 	-e "s/UGraph/_Gr_aph_label_/g"\
 	-e "s/uGraph/_gr_aph_label_/g"\