Hack places where '--' should appear as literal output but the -- was
(properly) converted to - by LaTeX2HTML.
1 file changed