diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-02-18 15:39:03 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-02-18 15:39:03 +0100 |
| commit | 113942be71c90e7d6a9cff93cc05ac119db526de (patch) | |
| tree | 2872bfb8c3b12dc8f9fe9e1622ddffeea528d4e6 /doc/apt-cdrom.8.xml | |
| parent | b9dacd11a4707092f070d49b1cb1acff642eebf0 (diff) | |
| parent | 3c5a611808e7af5aec4c2ab12ce0bce79f74928d (diff) | |
merge from the lp:~donkult/apt/sid branch
Diffstat (limited to 'doc/apt-cdrom.8.xml')
| -rw-r--r-- | doc/apt-cdrom.8.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/apt-cdrom.8.xml b/doc/apt-cdrom.8.xml index e57942610..423569fc1 100644 --- a/doc/apt-cdrom.8.xml +++ b/doc/apt-cdrom.8.xml @@ -65,7 +65,7 @@ <varlistentry><term>add</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 procceed to + CDROM device, prompt for a disk to be inserted and then proceed to scan it and copy the index files. If the disc does not have a proper <filename>disk</filename> directory you will be prompted for a descriptive title. |