From e4529a4349110c2edb6bd08f873175db71363a84 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sun, 11 Feb 2018 21:55:17 +0100
Subject: coqdev.el: add installation instructions.

---
 dev/tools/coqdev.el | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'dev')

diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el
index 581995d46a..f5a0feffae 100644
--- a/dev/tools/coqdev.el
+++ b/dev/tools/coqdev.el
@@ -13,6 +13,22 @@
 ;; using `remove-hook', for instance
 ;; (remove-hook 'hack-local-variables-hook #'coqdev-setup-compile-command)
 
+;;; Installation:
+
+;; To use this, with coqdev.el located at /path/to/coqdev.el, add the
+;; following to your init:
+
+;; (add-to-list 'load-path "/path/to/coqdev/")
+;; (require 'coqdev)
+
+;; If you load this file from a git repository, checking out an old
+;; commit will make it disappear and cause errors for your Emacs
+;; startup. To ignore those errors use (require 'coqdev nil t). If you
+;; check out a malicious commit Emacs startup would allow it to run
+;; arbitrary code, to avoid this you can copy coqdev.el to any
+;; location and adjust the load path accordingly (of course if you run
+;; ./configure to compile Coq it is already too late).
+
 ;;; Code:
 
 (require 'subr-x)
@@ -67,3 +83,4 @@ Note that this function is executed before _Coqproject is read if it exists."
 (add-hook 'hack-local-variables-hook #'coqdev-setup-proofgeneral)
 
 (provide 'coqdev)
+;;; coqdev ends here
-- 
cgit v1.2.3