Work around limitation of Cygwin Perl: To avoid a permission denial, we need

to do the inplace-edit with a backup file.  A quick test leads me to
believe this is sufficient to allow building the documentation on Cygwin;
a full test is in progress.

diff --git a/Doc/tools/node2label.pl b/Doc/tools/node2label.pl
index 90f0c18933a5e4e0ce829a6741064f727c7e13e9..a3c6c84a89ed12e8a0f15724d3499971587af1c3 100755 (executable)
--- a/Doc/tools/node2label.pl
+++ b/Doc/tools/node2label.pl
@@ -1,7 +1,12 @@
 #! /usr/bin/env perl
 
+# On Cygwin, we actually have to generate a temporary file when doing
+# the inplace edit, or we'll get permission errors.  Not sure who's
+# bug this is, except that it isn't ours.  To deal with this, we
+# generate backups during the edit phase and remove them at the end.
+#
 use English;
-$INPLACE_EDIT = '';
+$INPLACE_EDIT = '.bak';
 
 # read the labels, then reverse the mappings
 require "labels.pl";
@@ -60,3 +65,7 @@ while (<>) {
 foreach $oldname (keys %newnames) {
   rename($oldname, $newnames{$oldname});
 }
+
+foreach $filename (glob('*.bak')) {
+  unlink($filename);
+}