releasing version 0.9.3

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

diff --git a/doc/apt-mark.8.xml b/doc/apt-mark.8.xml
index 01c8665ddc646b531baf9b6faefd53796625f8c1..d627311241c802cd76a4a96b5a4d05d761d9919a 100644 (file)
--- a/doc/apt-mark.8.xml
+++ b/doc/apt-mark.8.xml
@@ -33,26 +33,8 @@
     <refpurpose>mark/unmark a package as being automatically-installed</refpurpose>
  </refnamediv>
 
- <!-- Arguments -->
- <refsynopsisdiv>
-   <cmdsynopsis>
-       <command>apt-mark</command>
-       <arg><option>-hv</option></arg>
-       <arg><option>-f=<replaceable>FILENAME</replaceable></option></arg>
-       <group choice="plain">
-               <arg choice="plain">
-                       <group choice="req">
-                               <arg choice="plain">auto</arg>
-                               <arg choice="plain">manual</arg>
-                               <arg choice="plain">showauto</arg>
-                               <arg choice="plain">showmanual</arg>
-                       </group>
-                       <arg choice="plain" rep="repeat"><replaceable>package</replaceable></arg>
-               </arg>
-       </group>
-   </cmdsynopsis>
- </refsynopsisdiv>
- 
+ &synopsis-command-apt-mark;
+
  <refsect1><title>Description</title>
    <para><command>apt-mark</command> will change whether a package has
    been marked as being automatically installed.