[pacman-dev] [PATCH] makepkg: Add used options to PKGINFO file

[Xavier]

On Fri, Jul 25, 2008 at 1:37 PM, Allan McRae <allan at archlinux.org> wrote:
>
> For example, consider packages that were built before the new zipman
> option.  Old packages are build with the equivalent of the zipman option
> being enabled.  With only including enabled options, a first look at a
> package built prior to this option would indicate that man pages were
> not zipped which is wrong.  Including both enabled and disabled options
> would tell us that the option just didn't exist at the time.
>

Yep, that is right, nevermind :)