summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorDavid Kalnischkies <kalnischkies@gmail.com>2010-03-27 00:01:34 +0100
committerDavid Kalnischkies <kalnischkies@gmail.com>2010-03-27 00:01:34 +0100
commitb569b4650c647c3aef5341c40d208a37211b57aa (patch)
tree0560257bc6a7b90fff154ed99beccccd89fd71dc /doc
parent4fb6fdaf95de3db51ef386de7b494ed4c889bedc (diff)
remove wrong pin-priority is optional remark (Closes: #574944)
Diffstat (limited to 'doc')
-rw-r--r--doc/apt_preferences.5.xml4
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/apt_preferences.5.xml b/doc/apt_preferences.5.xml
index c927f327a..77b7776e8 100644
--- a/doc/apt_preferences.5.xml
+++ b/doc/apt_preferences.5.xml
@@ -476,10 +476,6 @@ distribution.</para>
<para>Each record in the APT preferences file can optionally begin with
one or more lines beginning with the word <literal>Explanation:</literal>.
This provides a place for comments.</para>
-
-<para>The <literal>Pin-Priority:</literal> line in each APT preferences record is
-optional. If omitted, APT assigns a priority of 1 less than the last value
-specified on a line beginning with <literal>Pin-Priority: release ...</literal>.</para>
</refsect2>
</refsect1>