summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEugene V. Lyubimkin <jackyf@1501-debian>2008-11-02 15:00:29 +0200
committerEugene V. Lyubimkin <jackyf@1501-debian>2008-11-02 15:00:29 +0200
commit78482e30ed7d898a05023bf77beb3d46eb06d544 (patch)
tree083f6ef06e493a441da1c824888a6608e65b4a56
parentb2d941c5f99ac1cf396bb7b7959cd0683051ef28 (diff)
Another fix for synopsis of 'apt-get install'.
-rw-r--r--doc/apt-get.8.xml18
1 files changed, 10 insertions, 8 deletions
diff --git a/doc/apt-get.8.xml b/doc/apt-get.8.xml
index 75fda1320..797a6562e 100644
--- a/doc/apt-get.8.xml
+++ b/doc/apt-get.8.xml
@@ -62,14 +62,16 @@
<arg>dselect-upgrade</arg>
<arg>install
<arg choice="plain" rep="repeat"><replaceable>pkg</replaceable>
- <group choice='opt'>
- <arg>
- =<replaceable>pkg_version_number</replaceable>
- </arg>
- <arg>
- /<replaceable>target_release_name</replaceable>
- </arg>
- </group>
+ <arg>
+ <group choice='req'>
+ <arg choice='plain'>
+ =<replaceable>pkg_version_number</replaceable>
+ </arg>
+ <arg choice='plain'>
+ /<replaceable>target_release_name</replaceable>
+ </arg>
+ </group>
+ </arg>
</arg>
</arg>
<arg>remove <arg choice="plain" rep="repeat"><replaceable>pkg</replaceable></arg></arg>