diff options
| author | Eugene V. Lyubimkin <jackyf@1501-debian> | 2008-11-02 15:00:29 +0200 |
|---|---|---|
| committer | Eugene V. Lyubimkin <jackyf@1501-debian> | 2008-11-02 15:00:29 +0200 |
| commit | 78482e30ed7d898a05023bf77beb3d46eb06d544 (patch) | |
| tree | 083f6ef06e493a441da1c824888a6608e65b4a56 | |
| parent | b2d941c5f99ac1cf396bb7b7959cd0683051ef28 (diff) | |
Another fix for synopsis of 'apt-get install'.
| -rw-r--r-- | doc/apt-get.8.xml | 18 |
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> |