Merge "Ignore <option> tags in generatepot"

2015-01-02 19:08:22 +00:00 · 2015-01-02 19:08:22 +00:00 · e53895a7ab
commit e53895a7ab
parent ef43ad7513 0dab651084
1 changed files with 2 additions and 1 deletions
--- a/tools/generatepot
+++ b/tools/generatepot
@ -14,7 +14,8 @@ class myDocbookXmlMode(docbookXmlMode):
                      'segmentedlist', 'simplelist', 'calloutlist', 'varlistentry', 'userinput',
                      'computeroutput','prompt','command','screen']
        self.objects = [ 'figure', 'textobject', 'imageobject', 'mediaobject',
-                         'screenshot','literallayout', 'programlisting' ]
+                         'screenshot','literallayout', 'programlisting',
+                         'option']
             
 default_mode = 'docbook'
 operation = 'pot'