diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-08 13:07:48 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-08 13:07:48 +0000 |
commit | 7825305c5ddf11fffe24fa30453c4e8468f64305 (patch) | |
tree | f3c43caefa7210acc3d8fd79ac82f8ade47a8dc9 /sci-mathematics/acl2/acl2-8.5_p20240307.ebuild | |
parent | dc22a05dc2db2827053483e8cab136b33b339307 (diff) |
gentoo auto-resync : 08:03:2024 - 13:07:48
Diffstat (limited to 'sci-mathematics/acl2/acl2-8.5_p20240307.ebuild')
-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() { |