diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:26:48 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:26:48 +0200 |
| commit | c38847ebbbab115b01dd1421dee55d5a50d404f1 (patch) | |
| tree | 4f49f24012c138b189708fe798761fbce108749f | |
| parent | 1bdfd2c9de1126522fee08007908a05af32ee8b1 (diff) | |
apt_preferences(5): Mention overlapping of pin matches
| -rw-r--r-- | doc/apt_preferences.5.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml index cad57f6b8..be6f12f6a 100644 --- a/doc/apt_preferences.5.xml +++ b/doc/apt_preferences.5.xml @@ -123,6 +123,9 @@ from archives which in their <filename>Release</filename> files are marked as "N <listitem><simpara>to the versions that belong to the target release.</simpara></listitem> </varlistentry> </variablelist> + +The highest of those priorities whose description matches the version is assigned to the +version. </para> <para>If the target release has not been specified then APT simply assigns |