From b569b4650c647c3aef5341c40d208a37211b57aa Mon Sep 17 00:00:00 2001
From: David Kalnischkies <kalnischkies@gmail.com>
Date: Sat, 27 Mar 2010 00:01:34 +0100
Subject: remove wrong pin-priority is optional remark (Closes: #574944)

---
 doc/apt_preferences.5.xml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'doc/apt_preferences.5.xml')

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>
 
-- 
cgit v1.2.3-18-g5258