summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJulian Andres Klode <jak@debian.org>2015-08-14 17:22:30 +0200
committerJulian Andres Klode <jak@debian.org>2015-08-14 17:22:30 +0200
commit1bdfd2c9de1126522fee08007908a05af32ee8b1 (patch)
tree2d129beef59325951cd70578d92a7b4a79c39a46 /doc
parent5fba9462b635c95d2cb329a388d469bd50889974 (diff)
apt_preferences(5): Correct default pin assignment documentation
This was broken, as higher pins were also assigned to versions that are installed. Closes: #623706
Diffstat (limited to 'doc')
-rw-r--r--doc/apt_preferences.5.xml4
1 files changed, 2 insertions, 2 deletions
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>