Anders Kaseorg [off-list ref] writes:
quoted
How bad does the documentation look with the patch applied (I know how
bad it looks without source-highlight installed)? If it is not too bad,
then it sounds like a sensible solution to drop the highlight markup
unconditionally like the patch that started this thread does, taking the
"common denominator" approach. You seem to agree, and I do not object,
either.
Original version with syntax-highlight installed (pretty):
http://web.mit.edu/andersk/Public/api-hashmap/old-highlight.html
Original version with syntax-highlight missing (corrupted):
http://web.mit.edu/andersk/Public/api-hashmap/old-no-highlight.html
Patched version (boring but readable):
http://web.mit.edu/andersk/Public/api-hashmap/patched.html
Thanks. I've queued the patch for v2.0 and the comparison between
the first and the third clearly shows that it is the right thing to
do ;-).