New solution to the "Someone stuck a colon in that filename!" problem:
Allow colons in the labels used for internal references, but do not
expose them when generating filename.
diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index f8bc1a6..69f396a 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -10,9 +10,16 @@
my $key;
# sort so that we get a consistent assignment for nodes with multiple labels
foreach $label (sort keys %external_labels) {
- $key = $external_labels{$label};
- $key =~ s|^/||;
- $nodes{$key} = $label;
+ #
+ # If the label can't be used as a filename on non-Unix platforms,
+ # skip it. Such labels may be used internally within the documentation,
+ # but will never be used for filename generation.
+ #
+ if ($label =~ /^([-.a-zA-Z0-9]+)$/) {
+ $key = $external_labels{$label};
+ $key =~ s|^/||;
+ $nodes{$key} = $label;
+ }
}
# This adds the "internal" labels added for indexing. These labels will not