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"\