From 87f7bd2f9ef673c50b0ed57290d82f7b9bcef6e4 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 11 Nov 2023 20:11:40 +0530 Subject: [PATCH] See what's going on with finding kitten in CI --- docs/conf.py | 1 + 1 file changed, 1 insertion(+) 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