From 771cab48b2f9ea2ae3fa8f944d0e36a805bf9f3b Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sun, 18 Sep 2016 20:59:38 +0200
Subject: Update the documentation and prepare the release 4.4.

---
 generic/proof-splash.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'generic/proof-splash.el')

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index 6bc20998..25db0946 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -70,8 +70,8 @@ Proof General."
             "PG is on Github at https://github.com/ProofGeneral/PG")
     :link '("or the " "homepage"
             (lambda (button)
-              (browse-url "http://proofgeneral.inf.ed.ac.uk/"))
-            "Browse http://proofgeneral.inf.ed.ac.uk/")
+              (browse-url "https://proofgeneral.github.io"))
+            "Browse https://proofgeneral.github.io")
     nil
     :link '("Find out about Emacs on the Help menu -- start with the "
             "Emacs Tutorial" (lambda (button) (help-with-tutorial)))
-- 
cgit v1.2.3