diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-04-20 00:30:38 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-04-20 00:32:56 +0200 |
| commit | cb7871f4b3699944a992cf4e62afc7a7515d542f (patch) | |
| tree | 55a88057d3bd5781cb3fd05d4c1a8c60a51befb9 /sci-mathematics/coq-serapi | |
| parent | dev-util/vulkan-tools: Version bump (diff) | |
| download | gentoo-cb7871f4b3699944a992cf4e62afc7a7515d542f.tar.gz gentoo-cb7871f4b3699944a992cf4e62afc7a7515d542f.tar.bz2 gentoo-cb7871f4b3699944a992cf4e62afc7a7515d542f.zip | |
sci-mathematics/coq-serapi: fix elisp libraries installation
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq-serapi')
| -rw-r--r-- | sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild (renamed from sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild index 7f817ddb486a..2290f780d192 100644 --- a/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r1.ebuild +++ b/sci-mathematics/coq-serapi/coq-serapi-0.15.0-r2.ebuild @@ -50,7 +50,7 @@ src_install() { rm -r "${D}"/usr/share/emacs || die if use emacs ; then - elisp-install sertop sertop.el{,c} + elisp-install ${PN} sertop.el{,c} elisp-site-file-install "${FILESDIR}/${SITEFILE}" fi } |