diff options
Diffstat (limited to 'manual/summary.pl')
| -rwxr-xr-x | manual/summary.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/summary.pl b/manual/summary.pl index 15a7524559..9e7c67ad42 100755 --- a/manual/summary.pl +++ b/manual/summary.pl @@ -17,7 +17,7 @@ # You should have received a copy of the GNU Lesser General Public # License along with the GNU C Library; if not, see -# <http://www.gnu.org/licenses/>. +# <https://www.gnu.org/licenses/>. # Anything declared in a header or defined in a standard should have # its origins annotated using the @standards macro (see macro.texi). |