[pkg-java] r3251 - trunk/javacc/debian

[Paul Cager]

Author: paulcager-guest
Date: 2007-04-15 20:10:52 +0000 (Sun, 15 Apr 2007)
New Revision: 3251

Modified:
   trunk/javacc/debian/manpage.sgml
Log:
Change incorrect "userinput" tags to "command" tags in manpage.sgml. Prevents malformatted manpage and lintian warning

Modified: trunk/javacc/debian/manpage.sgml
===================================================================
--- trunk/javacc/debian/manpage.sgml	2007-04-15 18:57:28 UTC (rev 3250)
+++ trunk/javacc/debian/manpage.sgml	2007-04-15 20:10:52 UTC (rev 3251)
@@ -92,8 +92,8 @@
   <refsect1>
     <title>OPTIONS</title>
 
-    <para><userinput>&dhpackage;</userinput>, <userinput>jjtree</userinput> or
-      <userinput>jjdoc</userinput> without any argument prints a small help
+    <para><command>&dhpackage;</command>, <command>jjtree</command> or
+      <command>jjdoc</command> without any argument prints a small help
       with the list of available options.</para>
 
     <para>"option-settings" is a sequence of settings separated