[beast] DOXER: write "\-" in man page output instead of "-"

[Stefan Westerfeld <stw src gnome org>]

commit 3a7c11db59e0e7aaadf37887d98fe8d53ebc7ac6
Author: Stefan Westerfeld <stefan space twc de>
Date:   Thu Jul 8 14:34:36 2010 +0200

    DOXER: write "\-" in man page output instead of "-"
    
    Debian lintian output (this change fixes this problem):
    This manual page seems to contain a hyphen where a minus sign was intended. By
    default, "-" chars are interpreted as hyphens (U+2010) by groff, not as minus
    signs (U+002D). Since options to programs use minus signs (U+002D), this means
    for example in UTF-8 locales that you cannot cut and paste options, nor search
    for them easily.

 doxer/ManGenerator.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/doxer/ManGenerator.py b/doxer/ManGenerator.py
index 476f8bd..ef60e6d 100644
--- a/doxer/ManGenerator.py
+++ b/doxer/ManGenerator.py
@@ -86,6 +86,8 @@ class ManOStream:
       self.output += chr
       self.output_changed()
       return
+    if chr == '-':
+      self.output += '\\';
     self.output += chr
     self.output_changed()
   def put (self, string):