zsh-bat/manbat
2024-05-16 08:43:05 -05:00

8 lines
212 B
Bash
Executable file

#!/bin/sh
prg="$1"
shift
# mandoc passes a file name, other tools write to stdout
# using `cat "$@"` we take care of both reading from file and stdin
exec cat "$@" | col -bx | $prg --language man --style plain