assure a consistent assignment for nodes with multiple labels

diff --git a/Doc/node2label.pl b/Doc/node2label.pl
index 81599006885edb50b90f8727ef1661b97021d38f..1d643dbb49077efc9f4b6a58f7df655422012961 100755 (executable)
--- a/Doc/node2label.pl
+++ b/Doc/node2label.pl
@@ -4,7 +4,8 @@
 require "labels.pl";
 
 %nodes = ();
-foreach $label (keys %external_labels) {
+# sort so that we get a consistent assignment for nodes with multiple labels 
+foreach $label (sort keys %external_labels) {
   $nodes{$external_labels{$label}} = $label;
 }
 

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 81599006885edb50b90f8727ef1661b97021d38f..1d643dbb49077efc9f4b6a58f7df655422012961 100755 (executable)
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -4,7 +4,8 @@
 require "labels.pl";
 
 %nodes = ();
-foreach $label (keys %external_labels) {
+# sort so that we get a consistent assignment for nodes with multiple labels 
+foreach $label (sort keys %external_labels) {
   $nodes{$external_labels{$label}} = $label;
 }