From: Julian Andres Klode <jak@debian.org>
Date: Fri, 14 Aug 2015 15:22:30 +0000 (+0200)
Subject: apt_preferences(5): Correct default pin assignment documentation
X-Git-Tag: 1.1.exp9~34
X-Git-Url: https://git.saurik.com/apt.git/commitdiff_plain/1bdfd2c9de1126522fee08007908a05af32ee8b1

apt_preferences(5): Correct default pin assignment documentation

This was broken, as higher pins were also assigned to versions
that are installed.

Closes: #623706
---

diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
index 28b795d43..cad57f6b8 100644
--- a/doc/apt_preferences.5.xml
+++ b/doc/apt_preferences.5.xml
@@ -115,12 +115,12 @@ from archives which in their <filename>Release</filename> files are marked as "N
 
 <varlistentry>
 <term>priority 500</term>
-<listitem><simpara>to the versions that are not installed and do not belong to the target release.</simpara></listitem>
+<listitem><simpara>to the versions that do not belong to the target release.</simpara></listitem>
 </varlistentry>
 
 <varlistentry>
 <term>priority 990</term>
-<listitem><simpara>to the versions that are not installed and belong to the target release.</simpara></listitem>
+<listitem><simpara>to the versions that belong to the target release.</simpara></listitem>
 </varlistentry>
 </variablelist>
 </para>