diff options
Diffstat (limited to 'bin/extra/include.sh')
| -rwxr-xr-x | bin/extra/include.sh | 8 |
1 files changed, 7 insertions, 1 deletions
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 <[^>]\+>' |