425 |
|
|
426 |
def visit_caption(self, node): |
def visit_caption(self, node): |
427 |
self.body.append( '\\caption{\n' ) |
self.body.append( '\\caption{\n' ) |
|
atts = node.attributes.copy() |
|
|
if atts.has_key('alt'): self.body.append('\\label{%s}\n' % atts['alt']) |
|
428 |
|
|
429 |
def depart_caption(self, node): |
def depart_caption(self, node): |
430 |
self.body.append('}') |
self.body.append('}') |
841 |
atts = node.attributes.copy() |
atts = node.attributes.copy() |
842 |
href = atts['uri'] |
href = atts['uri'] |
843 |
self.body.append('\\centering\n') |
self.body.append('\\centering\n') |
844 |
|
if atts.has_key('alt'): self.body.append('\\label{%s}\n' % atts['alt']) |
845 |
self.body.append('\\includegraphics') |
self.body.append('\\includegraphics') |
846 |
if atts.has_key('width'): self.body.append('[width=%s]' % atts['width']) |
if atts.has_key('width'): self.body.append('[width=%s]' % atts['width']) |
847 |
self.body.append('{%s}\n' % href) |
self.body.append('{%s}\n' % href) |