Improved rename script to handle includes correctly.
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"\