IMHO, leaving an empty line makes the doc (and the code) more readable. Anyway, it's clearly subjective.