After emerging: app-emacs/proofgeneral I got the message: * Site-initialisation files of Emacs packages are now installed in * /usr/share/emacs/site-lisp/site-gentoo.d/. You may consider using * /usr/sbin/emacs-updater to rebuild the installed Emacs packages. * However, the old location is still supported. So I ran emacs-updater which reemerged a lot of of installed emacs packages as expected. It also reemerged proofgeneral. But after running emacs-updater again proofgeneral was listed again! emacs-updater also told me: * If a package is being rebuilt over and over again, * please report it on http://bugs.gentoo.org/ So here it is. Reproducible: Always
Kindly review http://bugs.gentoo.org/page.cgi?id=fields.html#bug_severity
*proofgeneral-3.7 (27 Feb 2008) 27 Feb 2008; Ulrich Mueller <ulm@gentoo.org> files/50proofgeneral-gentoo.el, +proofgeneral-3.7.ebuild: Version bump. Use our own site file and install it in the proper location, fixes bug 211658. Some cleanup of the ebuild. Thank you for reporting the issue.
