diff options
| -rw-r--r-- | doc/apt_preferences.5.xml | 4 |
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> |