diff options
author | Eugene V. Lyubimkin <jackyf@1501-debian> | 2008-11-01 16:41:24 +0200 |
---|---|---|
committer | Eugene V. Lyubimkin <jackyf@1501-debian> | 2008-11-01 16:41:24 +0200 |
commit | 060d44030cddd071cf7cd6923645de4f2bffd454 (patch) | |
tree | a933f0b8ba3b7a981f9c83e4c83c64df4b4b0e45 | |
parent | c257e6f8d7756e292fabf2e82aeefdb4e1093d59 (diff) |
Corrected synopsis part for 'apt-get' source.
-rw-r--r-- | doc/apt-get.8.xml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/apt-get.8.xml b/doc/apt-get.8.xml index 817ebe1b0..9e6c01de4 100644 --- a/doc/apt-get.8.xml +++ b/doc/apt-get.8.xml @@ -76,11 +76,9 @@ <arg>purge <arg choice="plain" rep="repeat"><replaceable>pkg</replaceable></arg></arg> <arg>source <arg choice="plain" rep="repeat"><replaceable>pkg</replaceable> - <group choice='opt'> - <arg> - =<replaceable>pkg_version_number</replaceable> - </arg> - </group> + <arg> + =<replaceable>pkg_version_number</replaceable> + </arg> </arg> </arg> <arg>build-dep <arg choice="plain" rep="repeat"><replaceable>pkg</replaceable></arg></arg> |