764 |
def visit_figure(self, node): |
def visit_figure(self, node): |
765 |
self.body.append('\\begin{figure') |
self.body.append('\\begin{figure') |
766 |
for child in node.children: |
for child in node.children: |
767 |
if child.attributes.has_key('option'): |
if child.attributes.has_key('alternative'): |
768 |
self.body.append(child.attributes['option']) |
self.body.append(child.attributes['alternative']) |
769 |
self.body.append('}\n') |
self.body.append('}\n') |
770 |
|
|
771 |
def depart_figure(self, node): |
def depart_figure(self, node): |
772 |
self.body.append('\n\\end{figure') |
self.body.append('\n\\end{figure') |
773 |
for child in node.children: |
for child in node.children: |
774 |
if child.attributes.has_key('option'): |
if child.attributes.has_key('alternative'): |
775 |
self.body.append(child.attributes['option']) |
self.body.append(child.attributes['alternative']) |
776 |
self.body.append('}\n') |
self.body.append('}\n') |
777 |
|
|
778 |
def visit_footer(self, node): |
def visit_footer(self, node): |