Bug#112085: apt: apt-get manpage does not mention /etc/apt/preferences

[Laurent Bonnaud <Laurent.Bonnaud@inpg.fr>]

>>>>> "Matt" == Matt Zimmerman <mdz@debian.org> writes:
Matt> 
Matt> What?
Matt> 
Matt> ii  apt            0.5.4          Advanced front-end for dpkg
Matt> 
Matt> FILES
Matt> [...]
Matt>        /etc/apt/preferences
Matt>               version   preferences   file   Configuration  Item:
Matt>               Dir::Etc::Preferences.
Matt> [...]
Matt> SEE ALSO
Matt> [...]
Matt>        /usr/share/doc/apt/, apt_preferences(5).

Of course you are right !  I made the mistake to read the manpage on
one machine and send the bugreport from another one.  Sorry for the
trouble.

-- 
Laurent.