doc/rst2man.py
changeset 10006 9c142ed9c405
parent 9793 d2006e6d1d59
child 10007 9945a39d171f
equal deleted inserted replaced
10005:68964567e406 10006:9c142ed9c405
   761 
   761 
   762     # WHAT should we use .INDENT, .UNINDENT ?
   762     # WHAT should we use .INDENT, .UNINDENT ?
   763     def visit_line_block(self, node):
   763     def visit_line_block(self, node):
   764         self._line_block += 1
   764         self._line_block += 1
   765         if self._line_block == 1:
   765         if self._line_block == 1:
       
   766             self.body.append('.sp\n')
   766             self.body.append('.nf\n')
   767             self.body.append('.nf\n')
   767         else:
   768         else:
   768             self.body.append('.in +2\n')
   769             self.body.append('.in +2\n')
   769 
   770 
   770     def depart_line_block(self, node):
   771     def depart_line_block(self, node):