862 |
atts = node.attributes.copy() |
atts = node.attributes.copy() |
863 |
if not atts.has_key('environment') or \ |
if not atts.has_key('environment') or \ |
864 |
(atts.has_key('environment') and \ |
(atts.has_key('environment') and \ |
865 |
not atts['environment'] == 'table' and \ |
not atts['uri'] == '__extended__'): |
|
not atts['uri'] == 'table'): |
|
866 |
href = atts['uri'] |
href = atts['uri'] |
867 |
self.body.append('\\centering\n') |
self.body.append('\\centering\n') |
868 |
self.body.append('\\includegraphics') |
self.body.append('\\includegraphics') |