On 5/26/13 4:20 PM, H. S. Teoh wrote:
Wait, why not just make DDoc wrap it in $(P ) instead of<p></p>? That way, output formats that don't care can simply define $(P) to be the text followed by a line break, and you're done.
I thought it already does that.
git grep -i '<p>' **/*.{c,h}
src/doc.c:P = <p>$0</p>\n\
Andrei
