diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-09-03 14:04:50 +0200 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-09-03 14:04:50 +0200 |
| commit | 0205540433440a9ff4ad4ea4cce44c700a4b401c (patch) | |
| tree | 97809e2e38482d3d7f124b30552a0936adf4d405 /doc/apt-cdrom.8.xml | |
| parent | 24baab5c477bf1e57a0b169a7bac1d2e9ab0c974 (diff) | |
| parent | 2c6baa5a1f935eb3b8d4eb9fdef62e696416e27a (diff) | |
merged from lp:~donkult/apt/sid
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. |