summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-01-08 14:47:13 +0100
committerMaciej Barć <xgqt@gentoo.org>2023-01-08 15:08:24 +0100
commit6b673a9c34d8585fe9cf383ba3f1f057f95c6c8a (patch)
tree4b1f8eff5902ed21df4a5fa060d3b91f18341456 /sci-mathematics/acl2
parentdev-python/iniconfig: Bump to 2.0.0 (diff)
downloadgentoo-6b673a9c34d8585fe9cf383ba3f1f057f95c6c8a.tar.gz
gentoo-6b673a9c34d8585fe9cf383ba3f1f057f95c6c8a.tar.bz2
gentoo-6b673a9c34d8585fe9cf383ba3f1f057f95c6c8a.zip
sci-mathematics/acl2: install TAGS if USE=emacs
Closes: https://bugs.gentoo.org/890176 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/acl2')
-rw-r--r--sci-mathematics/acl2/acl2-8.5.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/acl2/acl2-8.5.ebuild b/sci-mathematics/acl2/acl2-8.5.ebuild
index bea58cd4e997..c681f996e4fd 100644
--- a/sci-mathematics/acl2/acl2-8.5.ebuild
+++ b/sci-mathematics/acl2/acl2-8.5.ebuild
@@ -66,7 +66,6 @@ src_install() {
doexe ${saved_name}
insinto /usr/share/acl2
doins ${saved_name}.core
- doins TAGS
dosym -r /usr/share/acl2/${saved_name} /usr/bin/acl2
if use doc ; then
@@ -76,6 +75,7 @@ src_install() {
einstalldocs
fi
if use emacs ; then
+ doins TAGS
elisp-install ${PN} \
books/emacs/*.el{,c} \
books/interface/emacs/*.el{,c}