apt_preferences(5): Re-document how priorities are calculated

The old text did not match either the old or the new implementation,
so let's rewrite it to explain the new implementation.

Closes: #554773

diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
index 5703203b0de1515efec48904fa2b92b3d697491f..81e0bd22079dfc51598a83108597e250977aec67 100644 (file)
--- a/doc/apt_preferences.5.xml
+++ b/doc/apt_preferences.5.xml
@@ -346,11 +346,14 @@ only if there is no installed version of the package</simpara></listitem>
 </variablelist>
 </para>
 
-<para>If any specific-form records match an available package version then the
-first such record determines the priority of the package version.  
-Failing that,
-if any general-form records match an available package version then the
-first such record determines the priority of the package version.</para>
+<para>
+The first specific-form record matching an available package version determines
+the priority of the package version.
+Failing that, the priority of the package is defined as the maximum of all
+priorities defined by generic-form records matching the version.
+Records defined using patterns in the Pin field other than "*" are treated like
+specific-form records.
+</para>
 
 <para>For example, suppose the APT preferences file contains the three
 records presented earlier:</para>