Florian Zieboll <f.zieboll@???> writes:
> Mitt Green <mitt_green@???> wrote:
>
>> Starting from this version pinning
>> (i.e. preventing from being installed)
>> packages this way:
>> -------------------------------------------
>> Package: foo
>> Pin: release *
>> Pin-Priority: -1
>> -------------------------------------------
>> doesn't work anymore.
>
>
> Here's a link to the apt_preferences(5) from an apt v1.1.3 .deb:
>
> http://zwischenspeicher.info/temp/apt_preferences.5--v1.1.3.gz
>
> open with
> # man /path/to/file.gz

JFTR: This doesn't work without the path, ie, just

cd /path/to
man file.gz

will search in the 'real' man page directories.

man -l file.gz

can also be used to access a file in the local directory.