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