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/gnu-doc.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/packages/gnu-doc.scm') diff --git a/gnu/packages/gnu-doc.scm b/gnu/packages/gnu-doc.scm index 3daa54ff1..d5a782bd1 100644 --- a/gnu/packages/gnu-doc.scm +++ b/gnu/packages/gnu-doc.scm @@ -90,7 +90,7 @@ list.") (string-append source "/standards.texi")) (system* "gzip" (string-append info-dir "/maintain.info")) (system* "gzip" (string-append info-dir "/standards.info")))))) - (home-page "http://www.gnu.org/prep/standards/") + (home-page "https://www.gnu.org/prep/standards/") (synopsis "GNU coding standards and maintainer information") (description "The GNU Coding Standards were written by Richard Stallman and other GNU Project volunteers. Their purpose is to make the GNU system -- cgit v1.3