Merge my tree and the remote tree (no change, I guess)

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

diff --git a/doc/apt-cdrom.8.xml b/doc/apt-cdrom.8.xml
index 94fc6fd8b7bf4011983f843e66ab966088375918..501c4ee7e625dd2ea9e43c82548ade0e163eee6e 100644 (file)
--- a/doc/apt-cdrom.8.xml
+++ b/doc/apt-cdrom.8.xml
@@ -17,7 +17,7 @@
    &apt-author.team;
    &apt-email;
    &apt-product;
-   <date>14 February 2004</date>
+   <date>2004-02-14T00:00:00Z</date>
  </refentryinfo>
 
  <refmeta>
@@ -52,7 +52,7 @@
     given one of the commands below must be present.
    
     <variablelist>
-     <varlistentry><term>add</term>
+     <varlistentry><term><option>add</option></term>
      <listitem><para><literal>add</literal> is used to add a new disc to the
      source list. It will unmount the
      CDROM device, prompt for a disk to be inserted and then proceed to 
@@ -68,7 +68,7 @@
      </listitem>
      </varlistentry>
      
-     <varlistentry><term>ident</term>
+     <varlistentry><term><option>ident</option></term>
      <listitem><para>A debugging tool to report the identity of the current
       disc as well as the stored file name
      </para>