diff --git a/docs/conf.py b/docs/conf.py index eb4cef423..7771b4e64 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -641,6 +641,7 @@ def build_extra_man_pages() -> None: base = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) kitten = os.environ.get('KITTEN_EXE_FOR_DOCS', os.path.join(base, 'kitty/launcher/kitten')) if not os.path.exists(kitten): + subprocess.call(['find', os.path.dirname(kitten)]) raise Exception(f'The kitten binary {kitten} is not built cannot generate man pages') raw = subprocess.check_output([kitten, '-h']).decode() started = 0