diff options
| author | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2015-08-14 17:22:30 +0200 |
| commit | 1bdfd2c9de1126522fee08007908a05af32ee8b1 (patch) | |
| tree | 2d129beef59325951cd70578d92a7b4a79c39a46 | |
| parent | 5fba9462b635c95d2cb329a388d469bd50889974 (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
| -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> |