commit: 5b14c6129c037d4191f2fcedac6837f8442dc0dc Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sun Mar 6 23:25:48 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sun Mar 6 23:53:31 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5b14c612
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 <AT> gentoo.org> ...oq-1.0.1_p20210708.ebuild => company-coq-1.0.1_p20210708-r1.ebuild} | 0 app-emacs/company-coq/files/50company-coq-gentoo.el | 3 +++ 2 files changed, 3 insertions(+) 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 similarity index 100% rename from app-emacs/company-coq/company-coq-1.0.1_p20210708.ebuild rename to 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)
