summaryrefslogtreecommitdiff
path: root/sci-mathematics/acl2/acl2-8.5.ebuild
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics/acl2/acl2-8.5.ebuild')
-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}