From ee6185372fc317d3948690997117e42f6b79a5ff Mon Sep 17 00:00:00 2001
From: Andre <andremralves@gmail.com>
Date: Tue, 26 Nov 2024 21:35:50 -0300
Subject: [PATCH] gen-manpages: Prompt error if no binaries are found

---
 contrib/devtools/gen-manpages.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/devtools/gen-manpages.py b/contrib/devtools/gen-manpages.py
index 5675e6b11f75e..14c8c408e83af 100755
--- a/contrib/devtools/gen-manpages.py
+++ b/contrib/devtools/gen-manpages.py
@@ -68,6 +68,10 @@
 
     versions.append((abspath, verstr, copyright))
 
+if not versions:
+    print(f'No binaries found in {builddir}. Please ensure the binaries are present in {builddir}, or set another build path using the BUILDDIR env variable.')
+    sys.exit(1)
+
 if any(verstr.endswith('-dirty') for (_, verstr, _) in versions):
     print("WARNING: Binaries were built from a dirty tree.")
     print('man pages generated from dirty binaries should NOT be committed.')