From 9a374186fcb824ec1cc022348d2a7c77316b54cc Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Tue, 29 May 2001 19:53:46 +0000
Subject: [PATCH] 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.

---
 Doc/tools/node2label.pl | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index f8bc1a68e6..69f396a2ad 100755
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -10,9 +10,16 @@ require "labels.pl";
 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
-- 
2.49.0