From 6fd52309b8f52c9bb59fccffac53e029ce94b698 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Thu, 30 Mar 2017 00:48:16 +0200 Subject: gnu: Use HTTPS for almost all gnu.org HOME-PAGEs. All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS. --- gnu/packages/texinfo.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/texinfo.scm') diff --git a/gnu/packages/texinfo.scm b/gnu/packages/texinfo.scm index d21394e74f..6ec2bb8e9b 100644 --- a/gnu/packages/texinfo.scm +++ b/gnu/packages/texinfo.scm @@ -51,7 +51,7 @@ (define-public texinfo (variable "INFOPATH") (files '("share/info"))))) - (home-page "http://www.gnu.org/software/texinfo/") + (home-page "https://www.gnu.org/software/texinfo/") (synopsis "The GNU documentation format") (description "Texinfo is the official documentation format of the GNU project. It -- cgit v1.2.3