diff options
| -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> |