diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2010-07-30 19:29:44 +0200 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2010-07-30 19:29:44 +0200 |
commit | a521ca5d3fc6619529843779ea46500fa6e69e14 (patch) | |
tree | d6134e25dad5550e75768f8c9fbaabe75d81e541 /doc/apt-cdrom.8.xml | |
parent | 34904390bd6901f3de90249938baa0b875873534 (diff) | |
parent | 7abfcfbe8518d1b5cc79e967c3ac16c2f783d6ea (diff) |
merged from experimental-apt-for-ubuntu
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. |