doc/hgmanpage.py
changeset 17517 15036492a103
parent 17487 1bdce7e918bb
child 18054 b35e3364f94a
equal deleted inserted replaced
17516:e93633eb7099 17517:15036492a103
   156 
   156 
   157 class Translator(nodes.NodeVisitor):
   157 class Translator(nodes.NodeVisitor):
   158     """"""
   158     """"""
   159 
   159 
   160     words_and_spaces = re.compile(r'\S+| +|\n')
   160     words_and_spaces = re.compile(r'\S+| +|\n')
   161     document_start = """Man page generated from reStructeredText."""
   161     document_start = """Man page generated from reStructuredText."""
   162 
   162 
   163     def __init__(self, document):
   163     def __init__(self, document):
   164         nodes.NodeVisitor.__init__(self, document)
   164         nodes.NodeVisitor.__init__(self, document)
   165         self.settings = settings = document.settings
   165         self.settings = settings = document.settings
   166         lcode = settings.language_code
   166         lcode = settings.language_code