hol-git 20190312-3

3 files changed, 17 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 77c726685d45..a100f4c86a8f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
 # Generated by mksrcinfo v8
-# Mon Mar 18 12:39:05 UTC 2019
+# Mon Mar 18 12:49:09 UTC 2019
 pkgbase = hol-git
 	pkgdesc = HOL4 theorem-proving system
 	pkgver = 20190312
-	pkgrel = 2
+	pkgrel = 3
 	url = https://hol-theorem-prover.org/
 	install = hol-git.install
 	arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index f0290f3e05e3..9bf51c39a774 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,7 +3,7 @@
 
 pkgname=hol-git
 pkgver=20190312
-pkgrel=2
+pkgrel=3
 pkgdesc='HOL4 theorem-proving system'
 url='https://hol-theorem-prover.org/'
 arch=('x86_64')
diff --git a/hol-git.install b/hol-git.install
index 7c3bd698a968..6769d447f961 100644
--- a/hol-git.install
+++ b/hol-git.install
@@ -5,6 +5,20 @@ post_install() {
     cd /opt/hol
     poly < tools/smart-configure.sml
     bin/build --relocbuild
+
+    cat <<EOF
+*************************************************
+Emacs HOL mode
+*************************************************
+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)
+
+into your .emacs file
+EOF
 }
 
 post_upgrade() {