Re: [Groff] [PATCH] Use bash for several contrib scripts

[Werner LEMBERG]

>> #!/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