diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-03-30 00:48:16 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-03-30 01:30:16 +0200 |
| commit | 6fd52309b8f52c9bb59fccffac53e029ce94b698 (patch) | |
| tree | bf54edb6c182356547acfa82deba8c402b03738c /gnu/packages/emacs.scm | |
| parent | c219997a146dc7a955d4f58d36afab2aa926f49c (diff) | |
gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
Diffstat (limited to 'gnu/packages/emacs.scm')
| -rw-r--r-- | gnu/packages/emacs.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/emacs.scm b/gnu/packages/emacs.scm index bf6a84b0a5..ad2d9cff97 100644 --- a/gnu/packages/emacs.scm +++ b/gnu/packages/emacs.scm @@ -189,7 +189,7 @@ (variable "INFOPATH") (files '("share/info"))))) - (home-page "http://www.gnu.org/software/emacs/") + (home-page "https://www.gnu.org/software/emacs/") (synopsis "The extensible, customizable, self-documenting text editor") (description "GNU Emacs is an extensible and highly customizable text editor. It is @@ -990,7 +990,7 @@ can control one of the supported external players. Thus, it supports whatever formats are supported by your music player. It also supports tagging and playlist management, all behind a clean and light user interface.") - (home-page "http://www.gnu.org/software/emms/") + (home-page "https://www.gnu.org/software/emms/") (license license:gpl3+))) (define-public emacs-emms-player-mpv @@ -1181,7 +1181,7 @@ as a library for other Emacs packages.") (arguments `(#:emacs ,emacs)) (native-inputs `(("perl" ,perl))) - (home-page "http://www.gnu.org/software/auctex/") + (home-page "https://www.gnu.org/software/auctex/") (synopsis "Integrated environment for TeX") (description "AUCTeX is a comprehensive customizable integrated environment for |