diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2025-03-12 01:49:51 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2025-03-12 01:49:51 +0000 |
| commit | ef0fedb39c21a343a3f316726f272bad9005b22c (patch) | |
| tree | 0d64e58453e117f61a9e1641532926278f51b72e /app-emacs/proofgeneral/proofgeneral-4.5.ebuild | |
| parent | cf7807d7aea23a99a144afceaba961cfed652b5f (diff) | |
Diffstat (limited to 'app-emacs/proofgeneral/proofgeneral-4.5.ebuild')
| -rw-r--r-- | app-emacs/proofgeneral/proofgeneral-4.5.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild index 021c56340c58..a5ca4a5d9022 100644 --- a/app-emacs/proofgeneral/proofgeneral-4.5.ebuild +++ b/app-emacs/proofgeneral/proofgeneral-4.5.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -18,7 +18,9 @@ KEYWORDS="amd64 ppc x86" PATCHES=( "${FILESDIR}"/${PN}-4.4-desktop.patch "${FILESDIR}"/${PN}-4.5-paths.patch + "${FILESDIR}"/${PN}-4.5-posix-no-which.patch ) + DOCS=( AUTHORS BUGS CHANGES COMPATIBILITY FAQ.md INSTALL README.md ) SITEFILE="50${PN}-gentoo.el" |