[SVN] r11926 (Support/bin)

[Allan Odgaard]

Improve generated HTML.

* replace `…' and ``…'' with ‘…’ and ‘‘…’’ respectively. I did not use double quotes for the latter to preserve potential alignment.
* recognize numbers, dashes, and underscores in section titles and references (e.g. ‘compat(5)’ has ‘32-BIT COMPILATION’ and there are man pages like ‘re_format(7)’).
* do not make the section number part of the link, e.g. ‘open(1)’ only as ‘open’ underlined.
* each section title in ‘<h2>…</h2>’ and section body in ‘<pre>…</pre>’.
* capitalize section titles.
* use em-dash in the placeholder text of the section selector/pop-up.

Changed:
U   trunk/Support/bin/man2html