merge with debian-sid

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

diff --git a/doc/apt-cdrom.8.xml b/doc/apt-cdrom.8.xml
index e57942610f7a86c5f7cfeee914bf5d83bd024df2..423569fc1b304aad90aa40e1f0fb139926f7b487 100644 (file)
--- 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.