changeset 2558 | e70b52a8cd57 |
parent 2552 | 5f711e4668f5 |
child 2560 | 635e7985be46 |
1.1 --- a/scripts/rename-graphs Mon Jan 21 15:35:55 2008 +0000 1.2 +++ b/scripts/rename-graphs Mon Jan 28 11:42:46 2008 +0000 1.3 @@ -6,6 +6,8 @@ 1.4 sed -e "s/bipartite undirected graph/bipartite graph/g"\ 1.5 -e "s/undirected graph/_gr_aph_label_/g"\ 1.6 -e "s/undirected edge/_ed_ge_label_/g"\ 1.7 + -e "s/graph_/_gr_aph_label__"\ 1.8 + -e "s/_graph/__gr_aph_label_"\ 1.9 -e "s/UGraph/_Gr_aph_label_/g"\ 1.10 -e "s/uGraph/_gr_aph_label_/g"\ 1.11 -e "s/ugraph/_gr_aph_label_/g"\