From ce9618eed8f8ec8b176f39ef8d783e64c54e0e22 Mon Sep 17 00:00:00 2001
From: david <david@e0a8ed71-7df4-0310-8962-fdc924857419>
Date: Thu, 20 Dec 2007 08:59:17 +0000
Subject: [PATCH] Use the filename tag for file name extensions in zenmap.xml.

---
 docs/zenmap.xml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/zenmap.xml b/docs/zenmap.xml
index b0c1f647a..b867c4993 100644
--- a/docs/zenmap.xml
+++ b/docs/zenmap.xml
@@ -49,9 +49,10 @@
         <term><option>--file</option> <replaceable>results file</replaceable></term>
         <listitem>
           <para>Open the given results file for viewing. The results file may be
-          an Nmap XML output file (.xml, as produced by <command>nmap
-          -oX</command>) or a Umit scan results file (.usr). This option may be
-          given more than once.</para>
+          an Nmap XML output file (<filename>.xml</filename>, as produced by
+          <command>nmap -oX</command>) or a Umit scan results file
+          (<filename>.usr</filename>). This option may be given more than
+          once.</para>
         </listitem>
       </varlistentry>
       <varlistentry>