(texi2html.py):  Minor improvement to HTML 3.0 output for code examples.
3 files changed