diff options
Diffstat (limited to 'doc/apt-cdrom.8.xml')
| -rw-r--r-- | doc/apt-cdrom.8.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/apt-cdrom.8.xml b/doc/apt-cdrom.8.xml index 94fc6fd8b..969491740 100644 --- a/doc/apt-cdrom.8.xml +++ b/doc/apt-cdrom.8.xml @@ -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> |