blob: 96c642f1aea03f5d1aaad4e3acc061b1046b9062 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
index 3a984878..9a42fed9 100644
--- a/company-coq.el
+++ b/company-coq.el
@@ -762,8 +762,7 @@ Useful as a value for `company-coq-completion-predicate'."
"Full path of this script.")
(defconst company-coq-refman-path
- (when company-coq-script-full-path
- (expand-file-name "refman/" (file-name-directory company-coq-script-full-path)))
+ (expand-file-name "@SITEETC@/refman/")
"Refman (and other assets)'s directory.")
(defface company-coq-doc-header-face-docs-and-sources
|
