diff options
| -rw-r--r-- | sci-mathematics/acl2/acl2-8.5_p20240307.ebuild | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild b/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild index 3d2c045b3a81..1e9c0d6d06d5 100644 --- a/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild +++ b/sci-mathematics/acl2/acl2-8.5_p20240307.ebuild @@ -96,10 +96,10 @@ src_install() { HTML_DOCS=( doc/HTML/. ) einstalldocs - fi - # Some binaries in "books". Not needed since the sources are there. - find "${ED}/usr/share/acl2/books" -type f -name "*.elf64" -delete || die + # Some binaries in "books". Not needed since the sources are there. + find "${ED}/usr/share/acl2/books" -type f -name "*.elf64" -delete || die + fi } pkg_postinst() { |