Fix up the HTML generated for envdesc and macrodesc environments.
Make it possible for the user to tell the difference.  ;-)
1 file changed