ddoc $(BR)

[Carlos Santander]

Not exactly a bug, but it is in a sense.
DDOC generates a lot of <br>, which are ok, but the pages are rejected as not 
valid (according to the W3C validator). I'm not sure if they should be in <p> 
tags or they're just no longer accepted, but I think something should be done. 
Most of the cases can be changed by replacing the macros, but there're two cases 
in doc.c in which $(BR) is hardcoded: lines 910 and 349. I think they should be 
changed by another macro.

-- 
Carlos Santander Bernal