Package: proofgeneral Version: 3.5-7 Severity: wishlist Currently you are quering users using debconf whether they would like Proof General globally installed. This type of question arises for several other packages as well (think about global shell settings, extensions for various editors, browsers, ...), however usually it is well understood (and hence not queried) that those programms could be enabled gloablly or locally. Therefor the maintainers usually add a note in README.Debian or similar documents, describing the (dis)advantages of each method and give hints how to proceed. But there is no question during installation.
Please reconsider if your install time question is necessary. I don't
know proof general (this issue arose during the German debconf
translation of your template) so if proof general is indeed special,
then simply close this bug (preferably with a brief explanation).
Remember that Debian is used at large sites as well, where
"dispensable" install time questions can be a real hassle.
--
Dr. Helge Kreutzmann [EMAIL PROTECTED]
Dipl.-Phys. http://www.helgefjell.de/debian.php
64bit GNU powered gpg signed mail preferred
Help keep free software "libre": http://www.ffii.de/
signature.asc
Description: Digital signature
