diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /app-emacs/company-coq/files/company-coq-refman-path.patch | |
parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) |
gentoo resync : 20.03.2022
Diffstat (limited to 'app-emacs/company-coq/files/company-coq-refman-path.patch')
-rw-r--r-- | app-emacs/company-coq/files/company-coq-refman-path.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/app-emacs/company-coq/files/company-coq-refman-path.patch b/app-emacs/company-coq/files/company-coq-refman-path.patch new file mode 100644 index 000000000000..96c642f1aea0 --- /dev/null +++ b/app-emacs/company-coq/files/company-coq-refman-path.patch @@ -0,0 +1,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 |