>> #!/bin/sh >> # This script is written for the bash shell. See bash(1). >> >> Or is that just too obvious? > > Wouldn't #!/bin/bash be more obvious and less error-prone?
Folks, I think the aim of all shell scripts in groff is to be POSIX
`sh' compatible. In case there are bashisms, they should be removed
and/or circumvented.
Werner
