commit: 4be39a23beeaf0727666a2119cf04859c684ffc6
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 10 19:15:47 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 10 19:16:34 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4be39a23
sci-mathematics/proverif: bump to 2.05
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/proverif/proverif-2.05.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild
b/sci-mathematics/proverif/proverif-2.05.ebuild
index 16f222d7eaa0..3a6c80ee509e 100644
--- a/sci-mathematics/proverif/proverif-2.05.ebuild
+++ b/sci-mathematics/proverif/proverif-2.05.ebuild
@@ -33,7 +33,7 @@ DEPEND="
${RDEPEND}
"
-DOCS=( CHANGES README docs/dev docs/manual )
+DOCS=( CHANGES README )
SITEFILE="50${PN}-gentoo.el"
src_compile() {
