equal
deleted
inserted
replaced
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): |