# HG changeset patch
# User kpeter
# Date 1201520566 0
# Node ID e70b52a8cd573e674ff2dc70feb6c3cc4c6fab69
# Parent  673cb4d1060b62b991e57dbc89dd92d1636b78b2
Improved rename script to handle includes correctly.

diff -r 673cb4d1060b -r e70b52a8cd57 scripts/rename-graphs
--- a/scripts/rename-graphs	Mon Jan 21 15:35:55 2008 +0000
+++ b/scripts/rename-graphs	Mon Jan 28 11:42:46 2008 +0000
@@ -6,6 +6,8 @@
 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/graph_/_gr_aph_label__"\
+	-e "s/_graph/__gr_aph_label_"\
 	-e "s/UGraph/_Gr_aph_label_/g"\
 	-e "s/uGraph/_gr_aph_label_/g"\
 	-e "s/ugraph/_gr_aph_label_/g"\