diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-13 15:27:13 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-02-13 15:33:29 +0100 |
| commit | d5c771138a3b2ce753f458396d82eef9a4557e20 (patch) | |
| tree | 00c637251d29e928a93417b78768854035dcde98 /dev/tools | |
| parent | fbe9d252ef31f49a75225b8c71be56a38bc51a3d (diff) | |
coqdev.el: fix "compilate"-command typo
Diffstat (limited to 'dev/tools')
| -rw-r--r-- | dev/tools/coqdev.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el index 01334690c..4252458cd 100644 --- a/dev/tools/coqdev.el +++ b/dev/tools/coqdev.el @@ -37,7 +37,7 @@ (when dir (expand-file-name dir)))) (defun coqdev-setup-compile-command () - "Setup `compilate-command' for Coq development." + "Setup `compile-command' for Coq development." (let ((dir (coqdev-default-directory))) (when dir (setq-local compile-command (concat "make -C " (shell-quote-argument dir)))))) (add-hook 'hack-local-variables-hook #'coqdev-setup-compile-command) |