From 449f969b19e1b6a5e402305f2c968d9ed09dedf7 Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <luca@spacehb.net>
Date: Sat, 11 Jan 2025 13:19:52 +0100
Subject: checkpoint

---
 bin/extra/include.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'bin/extra')

diff --git a/bin/extra/include.sh b/bin/extra/include.sh
index 1a2c1f4..2b5d536 100755
--- a/bin/extra/include.sh
+++ b/bin/extra/include.sh
@@ -1,2 +1,8 @@
 #!/bin/sh
-man -s 2,3p,3 -P cat "$1" | grep -m 1 -o '#include <[^>]\+>'
+
+# Show which C header needs to be included for '$1' by looking at the manpages for that keyword.
+
+{ man -c 2  "$1" ||
+  man -c 3p "$1" ||
+  man -c 3  "$1"; } 2>/dev/null | col -b |
+grep -m 1 -o '#include <[^>]\+>'
-- 
cgit v1.2.3