summaryrefslogtreecommitdiff
path: root/doc/apt_preferences.5.xml
diff options
context:
space:
mode:
authorJulian Andres Klode <jak@debian.org>2015-08-14 17:26:48 +0200
committerJulian Andres Klode <jak@debian.org>2015-08-14 17:26:48 +0200
commitc38847ebbbab115b01dd1421dee55d5a50d404f1 (patch)
tree4f49f24012c138b189708fe798761fbce108749f /doc/apt_preferences.5.xml
parent1bdfd2c9de1126522fee08007908a05af32ee8b1 (diff)
apt_preferences(5): Mention overlapping of pin matches
Diffstat (limited to 'doc/apt_preferences.5.xml')
-rw-r--r--doc/apt_preferences.5.xml3
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