diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-06 03:19:59 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-06 03:54:33 +0100 |
| commit | 36102d4690dc9e99d550128783624dbc77b448b9 (patch) | |
| tree | a9bda94d3872f483cff37de61546b2c4b6b7a6fe /app-emacs/company-coq/files | |
| parent | app-emacs/company-math: new package; add 1.4_p20210731 (diff) | |
| download | gentoo-36102d4690dc9e99d550128783624dbc77b448b9.tar.gz gentoo-36102d4690dc9e99d550128783624dbc77b448b9.tar.bz2 gentoo-36102d4690dc9e99d550128783624dbc77b448b9.zip | |
app-emacs/company-coq: new package; add 1.0.1_p20210708
2021.07.08 snapshot
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-emacs/company-coq/files')
| -rw-r--r-- | app-emacs/company-coq/files/50company-coq-gentoo.el | 1 | ||||
| -rw-r--r-- | app-emacs/company-coq/files/company-coq-refman-path.patch | 13 |
2 files changed, 14 insertions, 0 deletions
diff --git a/app-emacs/company-coq/files/50company-coq-gentoo.el b/app-emacs/company-coq/files/50company-coq-gentoo.el new file mode 100644 index 000000000000..431f7e90ae73 --- /dev/null +++ b/app-emacs/company-coq/files/50company-coq-gentoo.el @@ -0,0 +1 @@ +(add-to-list 'load-path "@SITELISP@") 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 |