Update a link (for latest version of FAQ).

1 files changed, 1 insertions, 1 deletions

diff --git a/FAQ b/FAQ
index 92370801..0c616a51 100644
--- a/FAQ
+++ b/FAQ
@@ -3,7 +3,7 @@ FAQs for using/installing Proof General
 
 With thanks to the anonymous authors of questions/answers below.
 
-For latest version, see http://proofgeneral.inf.ed.ac.uk/FAQ
+For latest version, see https://github.com/ProofGeneral/PG/blob/master/FAQ
 Please also check the BUGS file.
 
 -----------------------------------------------------------------