[Pkg-ocaml-maint-commits] [SCM] laby packaging branch, master, updated. upstream/0.4.5-7-g2ba55b1

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 2ba55b1e0282249ca9edf5230de83b92ecfb975b
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Fri May 15 18:07:28 2009 +0200

    Shorten command description in manpage

diff --git a/debian/laby.6 b/debian/laby.6
index d9f9e21..17255e8 100644
--- a/debian/laby.6
+++ b/debian/laby.6
@@ -19,7 +19,7 @@
 .\" * MAIN CONTENT STARTS HERE *
 .\" -----------------------------------------------------------------
 .SH "NAME"
-laby \- You have to move an ant out of a labyrinth, avoid spider webs, move rocks, etc\&.\&.\&. You have to click on "Reload" at startup\&.
+laby \- Learn new programming languages using labyrinths and spiders
 .SH "SYNOPSIS"
 .HP \w'\fBlaby\fR\ 'u
 \fBlaby\fR [options]
@@ -28,6 +28,8 @@ laby \- You have to move an ant out of a labyrinth, avoid spider webs, move rock
 This manual page documents briefly the
 \fBlaby\fR
 command\&.
+.PP
+In this game, you will have to move an ant out of a labyrinth, avoid spider webs, move rocks, etc\&.\&.\&. You have to click on "Reload" at startup\&.
 .SH "OPTIONS"
 .PP
 \fB\-\-help\fR
@@ -40,7 +42,7 @@ Display help message
 Show versioning information
 .RE
 .PP
-\fB\-\-lang=l\fR
+\fB\-\-lang=\fRl
 .RS 4
 Select a programming language
 .RE
@@ -55,7 +57,7 @@ Enable/Disable sounds
 Set a configuration key
 .RE
 .PP
-\fB\-\-conf\-descr=key\fR
+\fB\-\-conf\-descr=\fRkey
 .RS 4
 Describe a configuration key
 .RE
@@ -65,7 +67,7 @@ Describe a configuration key
 Dump a configutation key
 .RE
 .PP
-\fB\-\-debug=d\fR
+\fB\-\-debug=\fRd
 .RS 4
 Select debug level where d is an integer
 .RE
diff --git a/debian/laby.xml b/debian/laby.xml
index c04a430..54d53d5 100644
--- a/debian/laby.xml
+++ b/debian/laby.xml
@@ -41,11 +41,7 @@
 
   <refnamediv>
     <refname>&dhprg;</refname>
-
-    <refpurpose>You have to move an ant out of a labyrinth, avoid
-      spider webs, move rocks, etc... You have to click on "Reload" at
-      startup.
-    </refpurpose>
+    <refpurpose>Learn new programming languages using labyrinths and spiders</refpurpose>
   </refnamediv>
 
   <refsynopsisdiv>
@@ -60,6 +56,11 @@
 
     <para>This manual page documents briefly the &dhprg; command.</para>
 
+    <para>In this game, you will have to move an ant out of a
+      labyrinth, avoid spider webs, move rocks, etc... You have to
+      click on "Reload" at startup.
+    </para>
+
   </refsect1>
 
   <refsect1>
@@ -77,7 +78,7 @@
       </varlistentry>
 
       <varlistentry>
-	<term><option>--lang=l</option></term>
+	<term><option>--lang=</option>l</term>
 	<listitem><para>Select a programming language</para></listitem>
       </varlistentry>
 
@@ -92,7 +93,7 @@
       </varlistentry>
 
       <varlistentry>
-	<term><option>--conf-descr=key</option></term>
+	<term><option>--conf-descr=</option>key</term>
 	<listitem><para>Describe a configuration key</para></listitem>
       </varlistentry>
 
@@ -102,7 +103,7 @@
       </varlistentry>
 
       <varlistentry>
-	<term><option>--debug=d</option></term>
+	<term><option>--debug=</option>d</term>
 	<listitem><para>Select debug level where d is an integer</para></listitem>
       </varlistentry>
 
@@ -130,4 +131,3 @@
   </refsect1>
 
 </refentry>
-

-- 
laby packaging