From 156db94321161105f5522d621d48de77d1a46857 Mon Sep 17 00:00:00 2001
From: Raymaekers Luca <raymaekers.luca@gmail.com>
Date: Thu, 31 Oct 2024 20:02:00 +0100
Subject: checkpoint

---
 bin/extra/include.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 bin/extra/include.sh

diff --git a/bin/extra/include.sh b/bin/extra/include.sh
new file mode 100755
index 0000000..1a2c1f4
--- /dev/null
+++ b/bin/extra/include.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+man -s 2,3p,3 -P cat "$1" | grep -m 1 -o '#include <[^>]\+>'
-- 
cgit v1.2.3