Changeset 2558:e70b52a8cd57 in lemon-0.x

Timestamp:

01/28/08 12:42:46 (15 years ago)

Author:

Peter Kovacs

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@3439

Message:

Improved rename script to handle includes correctly.

File:

• scripts/rename-graphs (modified) (1 diff)

scripts/rename-graphs

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