Markus Armbruster <[email protected]> writes: > Results in a more precise error location, but the real reason is > emptying out check_docs() step by step. > > Signed-off-by: Markus Armbruster <[email protected]>
Perhaps we should simply drop this error condition. Are empty sections this a mistake users make accidentally?
