Commit d6e2498f747d07d314f237213688746d18370515
2006-03-24T18:31:47
* src/tools/docmaker/tohtml.py (make_html_para): Convert `...' quotations into real left and right single quotes. Use `para_header' and `para_footer'. * src/tools/docmaker/sources.py (re_bold, re_italic): Accept "'" also.