show-no-definition: indicate that no definition was found when none is f...

...ound