apt_preferences(5): Mention overlapping of pin matches

diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
index cad57f6b8e1a84aea90d1f4b49c5923f72d663ef..be6f12f6abdb0f3f4604cc95e19da5db2fb80861 100644 (file)
--- 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