269 |
# ' \\renewcommand{\\makelabel}{\\optionlistlabel}}\n' |
# ' \\renewcommand{\\makelabel}{\\optionlistlabel}}\n' |
270 |
# '}{\\end{list}}\n', |
# '}{\\end{list}}\n', |
271 |
# ## stylesheet is last: so it might be possible to overwrite defaults. |
# ## stylesheet is last: so it might be possible to overwrite defaults. |
272 |
# self.stylesheet % (self.d_stylesheet_path), |
self.stylesheet % (self.d_stylesheet_path), |
273 |
] |
] |
274 |
if self.linking: # and maybe check for pdf |
if self.linking: # and maybe check for pdf |
275 |
self.pdfinfo = [ ] |
self.pdfinfo = [ ] |