[gcc r14-8790] libstdc++: Add copyright and license text to new generated headers

[gcc r14-8790] libstdc++: Add copyright and license text to new generated headers

[Jonathan Wakely]

https://gcc.gnu.org/g:e99d9607f0242e371792bdff68575c1f4b671b4b

commit r14-8790-ge99d9607f0242e371792bdff68575c1f4b671b4b
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Fri Feb 2 13:20:11 2024 +0000

    libstdc++: Add copyright and license text to new generated headers
    
    contrib/ChangeLog:
    
            * unicode/gen_libstdcxx_unicode_data.py: Add copyright and
            license text to the output.
    
    libstdc++-v3/ChangeLog:
    
            * include/bits/text_encoding-data.h: Regenerate.
            * include/bits/unicode-data.h: Regenerate.
            * scripts/gen_text_encoding_data.py: Add copyright and license
            text to the output.

Diff:
---
 contrib/unicode/gen_libstdcxx_unicode_data.py  | 30 +++++++++++++++++++++++++-
 libstdc++-v3/include/bits/text_encoding-data.h | 27 +++++++++++++++++++++++
 libstdc++-v3/include/bits/unicode-data.h       | 27 +++++++++++++++++++++++
 libstdc++-v3/scripts/gen_text_encoding_data.py | 30 +++++++++++++++++++++++++-
 4 files changed, 112 insertions(+), 2 deletions(-)

diff --git a/contrib/unicode/gen_libstdcxx_unicode_data.py b/contrib/unicode/gen_libstdcxx_unicode_data.py
index f2f2f8a8ec23..2341a442f6ae 100755
--- a/contrib/unicode/gen_libstdcxx_unicode_data.py
+++ b/contrib/unicode/gen_libstdcxx_unicode_data.py
@@ -30,7 +30,35 @@ import sys
 import re
 import math
 
-print("// Generated by contrib/unicode/gen_std_format_width.py, do not edit.\n")
+print("""// Generated by contrib/unicode/gen_std_format_width.py, do not edit.
+
+// Copyright The GNU Toolchain Authors.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/unicode-data.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{format}
+ */
+""")
 print("#ifndef _GLIBCXX_GET_UNICODE_DATA")
 print('# error "This is not a public header, do not include it directly"')
 print("#elif _GLIBCXX_GET_UNICODE_DATA != 150100")
diff --git a/libstdc++-v3/include/bits/text_encoding-data.h b/libstdc++-v3/include/bits/text_encoding-data.h
index 5041e738d214..81bd94e6c3a0 100644
--- a/libstdc++-v3/include/bits/text_encoding-data.h
+++ b/libstdc++-v3/include/bits/text_encoding-data.h
@@ -1,5 +1,32 @@
 // Generated by gen_text_encoding_data.py, do not edit.
 
+// Copyright The GNU Toolchain Authors.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/text_encoding-data.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{text_encoding}
+ */
+
 #ifndef _GLIBCXX_GET_ENCODING_DATA
 # error "This is not a public header, do not include it directly"
 #endif
diff --git a/libstdc++-v3/include/bits/unicode-data.h b/libstdc++-v3/include/bits/unicode-data.h
index 839680964999..69b8f2926c3e 100644
--- a/libstdc++-v3/include/bits/unicode-data.h
+++ b/libstdc++-v3/include/bits/unicode-data.h
@@ -1,5 +1,32 @@
 // Generated by contrib/unicode/gen_std_format_width.py, do not edit.
 
+// Copyright The GNU Toolchain Authors.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/unicode-data.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{format}
+ */
+
 #ifndef _GLIBCXX_GET_UNICODE_DATA
 # error "This is not a public header, do not include it directly"
 #elif _GLIBCXX_GET_UNICODE_DATA != 150100
diff --git a/libstdc++-v3/scripts/gen_text_encoding_data.py b/libstdc++-v3/scripts/gen_text_encoding_data.py
index f0ebb42d8c20..13792b5f5e7d 100755
--- a/libstdc++-v3/scripts/gen_text_encoding_data.py
+++ b/libstdc++-v3/scripts/gen_text_encoding_data.py
@@ -31,7 +31,35 @@ if len(sys.argv) != 2:
     print("Usage: %s <character sets csv>" % sys.argv[0], file=sys.stderr)
     sys.exit(1)
 
-print("// Generated by gen_text_encoding_data.py, do not edit.\n")
+print("""// Generated by gen_text_encoding_data.py, do not edit.
+
+// Copyright The GNU Toolchain Authors.
+//
+// This file is part of the GNU ISO C++ Library.  This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
+
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
+
+/** @file bits/text_encoding-data.h
+ *  This is an internal header file, included by other library headers.
+ *  Do not attempt to use it directly. @headername{text_encoding}
+ */
+""")
 print("#ifndef _GLIBCXX_GET_ENCODING_DATA")
 print('# error "This is not a public header, do not include it directly"')
 print("#endif\n")