Further apt_preferences man page tweaks?

[Thomas Hood <jdthood@yahoo.co.uk>]

Hi all.

My March 2003 patch to the apt_preferences(5) man page made it in
to apt release 0.5.6 .  If you have additional improvements to
propose, I suggest that you use this new version as a base and
file patches in minor- or wishlist-severity bug reports.

Earlier, Mike Simons wrote to me to say that this:

         Package: *
         Pin: origin ""
         Pin-Priority: 999

does not in fact "assign a high priority to all package versions
available from the local site".  Apt needs to be fixed, and the
man page may need to be changed too.  I have asked Mike to file
a bug report giving details.

Susan wrote me some months ago saying that she had a few changes
to suggest.  Susan: please file a new patch against 0.5.6 .

Osamu Aoki asked that another example be added to the EXAMPLES
section.

Hmm, those are all the requests that I can find in my "apt" mail
file.  :)

Cheers, folks.
--
Thomas Hood