diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:25:48 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-07 00:53:31 +0100 |
| commit | 5b14c6129c037d4191f2fcedac6837f8442dc0dc (patch) | |
| tree | f15c39395e562cdc5af1a68bf877fef837766a4f /app-emacs/company-coq | |
| parent | app-emacs/company-coq: add proofgeneral runtime dependency (diff) | |
| download | gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.tar.gz gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.tar.bz2 gentoo-5b14c6129c037d4191f2fcedac6837f8442dc0dc.zip | |
app-emacs/company-coq: add company-coq-mode hook to coq-mode
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')
| -rw-r--r-- | app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild (renamed from app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild) | 0 | ||||
| -rw-r--r-- | app-emacs/company-coq/files/50company-coq-gentoo.el | 3 |
2 files changed, 3 insertions, 0 deletions
diff --git a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild index 15a3bcbd6aad..15a3bcbd6aad 100644 --- a/app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild +++ b/app-emacs/company-coq/company-coq-1.0.1_p20210708-r1.ebuild diff --git a/app-emacs/company-coq/files/50company-coq-gentoo.el b/app-emacs/company-coq/files/50company-coq-gentoo.el index 431f7e90ae73..9aa96abbd125 100644 --- a/app-emacs/company-coq/files/50company-coq-gentoo.el +++ b/app-emacs/company-coq/files/50company-coq-gentoo.el @@ -1 +1,4 @@ (add-to-list 'load-path "@SITELISP@") +(autoload 'company-coq-mode "company-coq" + "Collection of extensions for Proof General's Coq mode" t) +(add-hook 'coq-mode 'company-coq-mode) |