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

---
 generic/pg-vars.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/pg-vars.el')

diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 8dac2f11..3aafa97d 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -247,7 +247,7 @@ Internal variable dynamically bound.")
   :group 'proof-general-internals)
 
 (defcustom proof-general-home-page
-  "http://proofgeneral.inf.ed.ac.uk"
+  "https://proofgeneral.github.io"
   "*Web address for Proof General."
   :type 'string
   :group 'proof-general-internals)
-- 
cgit v1.2.3