]> err.no Git - dpkg/commitdiff
Fixup synopsis
authorWichert Akkerman <wakkerma@debian.org>
Sat, 13 Apr 2002 20:56:30 +0000 (20:56 +0000)
committerWichert Akkerman <wakkerma@debian.org>
Sat, 13 Apr 2002 20:56:30 +0000 (20:56 +0000)
man/en/deb.5.sgml

index f75ae4ed64ce6089a8271ce83b0cc05721cdf5fe..1214f4b4f6a57772bffefa4079752844a6cadad5 100644 (file)
@@ -14,7 +14,7 @@
   </refnamediv>
 
   <refsynopsisdiv>
-    <filename>filename.deb</filename>
+    <synopsis><filename>filename.dev</filename></synopsis>
   </refsynopsisdiv>
 
   <refsect1>