Committed.
Gerald
2019-10-25 Gerald Pfeifer <ger...@pfeifer.com>
* doc/xml/gnu/gpl-3.0.xml: Switch www.gnu.org to https.
Index: libstdc++-v3/doc/xml/gnu/gpl-3.0.xml
===================================================================
--- libstdc++-v3/doc/xml/gnu/gpl-3.0.xml (revision 277213)
+++ libstdc++-v3/doc/xml/gnu/gpl-3.0.xml (working copy)
@@ -829,6 +829,6 @@ under certain conditions; type ‘<literal>show c<
subroutine library, you may consider it more useful to permit linking
proprietary applications with the library. If this is what you want to do,
use the <acronym>GNU</acronym> Lesser General Public License instead of
this
- License. But first, please read <link
xmlns:xlink="http://www.w3.org/1999/xlink";
xlink:href="http://www.gnu.org/philosophy/why-not-lgpl.html";>http://www.gnu.org/philosophy/why-not-lgpl.html</link>.
+ License. But first, please read <link
xmlns:xlink="http://www.w3.org/1999/xlink";
xlink:href="https://www.gnu.org/philosophy/why-not-lgpl.html";>https://www.gnu.org/philosophy/why-not-lgpl.html</link>.
</para>
</appendix>
