Committed.
2019-10-25 Gerald Pfeifer <ger...@pfeifer.com>
* doc/xml/manual/policy_data_structures_biblio.xml: Switch
pubs.opengroup.org to https.
Index: doc/xml/manual/policy_data_structures_biblio.xml
===================================================================
--- doc/xml/manual/policy_data_structures_biblio.xml (revision 277435)
+++ doc/xml/manual/policy_data_structures_biblio.xml (working copy)
@@ -1232,7 +1232,7 @@
<biblioentry xml:id="biblio.select_man">
<title>
<link xmlns:xlink="http://www.w3.org/1999/xlink";
-
xlink:href="http://pubs.opengroup.org/onlinepubs/9699919799/functions/select.html";>
+
xlink:href="https://pubs.opengroup.org/onlinepubs/9699919799/functions/select.html";>
select
</link>
</title>
