Markus Armbruster <arm...@redhat.com> 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 <arm...@redhat.com>
Perhaps we should simply drop this error condition. Are empty sections this a mistake users make accidentally?