diff options
author | David Kalnischkies <david@kalnischkies.de> | 2018-04-07 14:32:44 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2018-04-07 14:35:41 +0200 |
commit | e441cba86f9aa50c9e785d9aa45ae0a43ac5c123 (patch) | |
tree | 02e6e71c50b2f5efef1f2d117ead52483777e06a /doc/apt-get.8.xml | |
parent | 57a00c50b14a49ed91816e3f4467e0f2e57ee772 (diff) |
document Acquire::AllowReleaseInfoChange without extra s
Reported-By: Mattia Rizzolo on IRC
Diffstat (limited to 'doc/apt-get.8.xml')
-rw-r--r-- | doc/apt-get.8.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/apt-get.8.xml b/doc/apt-get.8.xml index 520cfc126..3c1e90744 100644 --- a/doc/apt-get.8.xml +++ b/doc/apt-get.8.xml @@ -593,7 +593,7 @@ <literal>label</literal>, <literal>codename</literal>, <literal>suite</literal>, <literal>version</literal> and <literal>defaultpin</literal>. See also &apt-preferences;. - Configuration Item: <literal>Acquire::AllowReleaseInfoChanges</literal>.</para></listitem> + Configuration Item: <literal>Acquire::AllowReleaseInfoChange</literal>.</para></listitem> </varlistentry> <varlistentry><term><option>--show-progress</option></term> |