merge with debian-sid

[apt.git] / doc / apt-mark.8.xml

diff --git a/doc/apt-mark.8.xml b/doc/apt-mark.8.xml
index 3f6cc78f55e4607688bb5ae116b5fde7627b9729..8e07cd7d9d02938e014faeee82f16e7da91dc870 100644 (file)
--- a/doc/apt-mark.8.xml
+++ b/doc/apt-mark.8.xml
@@ -121,12 +121,7 @@
 
  <refsect1><title>Files</title>
    <variablelist>
-      <varlistentry><term><filename>/var/lib/apt/extended_states</filename></term>
-      <listitem><para>Status list of auto-installed packages.
-                     Configuration Item: <literal>Dir::State</literal>
-                     sets the path to the <filename>extended_states</filename> file.
-      </para></listitem>
-      </varlistentry>
+       &file-extended_states;
    </variablelist>
  </refsect1>