summaryrefslogtreecommitdiff
path: root/doc/licenses-texi.texi
diff options
context:
space:
mode:
authorBruno Haible <bruno@clisp.org>2017-09-13 03:17:45 +0200
committerBruno Haible <bruno@clisp.org>2017-09-13 03:17:45 +0200
commit9dd86e23c6c1ab02723efdeb6704920724d6abfc (patch)
tree075f788f167c98939ddef4e530ae617d54ec04c5 /doc/licenses-texi.texi
parentaab4ea7aa534d9e5726d3b304e70f57d3f385fe3 (diff)
downloadgnulib-9dd86e23c6c1ab02723efdeb6704920724d6abfc.tar.gz
doc: Prefer https URLs where possible.
* doc/**/*.texi: Use https URLs instead of http URLs where possible. * doc/ld-output-def.texi: Remove unavailable URL.
Diffstat (limited to 'doc/licenses-texi.texi')
-rw-r--r--doc/licenses-texi.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/licenses-texi.texi b/doc/licenses-texi.texi
index 325e2efdd8..60110ef096 100644
--- a/doc/licenses-texi.texi
+++ b/doc/licenses-texi.texi
@@ -3,7 +3,7 @@
Gnulib provides copies of the GNU GPL, GNU LGPL, and GNU FDL licenses
in Texinfo form. (The master location is
-@url{http://www.gnu.org/licenses/}). These Texinfo documents do not
+@url{https://www.gnu.org/licenses/}). These Texinfo documents do not
have any node names and structures built into them; for your manual,
you should @code{@@include} them in an appropriate @code{@@node}.