3 files changed, 10 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 720f51bfc7ee..831e9a985a01 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
 # Generated by mksrcinfo v8
-# Thu Feb  6 00:40:12 UTC 2020
+# Mon Feb 10 22:44:20 UTC 2020
 pkgbase = hol-git
 	pkgdesc = HOL4 theorem-proving system
-	pkgver = 20200205
+	pkgver = 20200210
 	pkgrel = 1
 	url = https://hol-theorem-prover.org/
 	install = hol.install
diff --git a/PKGBUILD b/PKGBUILD
index 634df7b548ad..6400a4c7482f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 _pkgname=hol
 pkgname=${_pkgname}-git
-pkgver=20200205
+pkgver=20200210
 pkgrel=1
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
diff --git a/hol.install b/hol.install
index bddee7f53f9c..b20786808e3f 100644
--- a/hol.install
+++ b/hol.install
@@ -15,10 +15,14 @@ Put
 
    (autoload 'hol "/opt/hol/tools/hol-mode"
      "Runs a HOL session in a comint window.
-   With a numeric prefix argument, runs it niced to that level
-   or at level 10 with a bare prefix. " t)
+      With a numeric prefix argument, runs it niced to that level
+      or at level 10 with a bare prefix. " t)
 
-into your .emacs file
+or
+
+   (load "/opt/hol/tools/hol-mode")
+
+into your .emacs file.
 EOF
 }