diff options
Diffstat (limited to 'main/txt2man/fixbashism.patch')
| -rw-r--r-- | main/txt2man/fixbashism.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/main/txt2man/fixbashism.patch b/main/txt2man/fixbashism.patch new file mode 100644 index 0000000000..f31059d880 --- /dev/null +++ b/main/txt2man/fixbashism.patch @@ -0,0 +1,14 @@ +--- ./bookman.orig ++++ ./bookman +@@ -83,9 +83,9 @@ + shift $(($OPTIND - 1)) + date=${date:-$(date +'%d %B %Y')} + +-[[ $1 ]] || set -- $(while read; do echo $REPLY; done) ++[ -n "$1" ] || set -- $(while read REPLY; do echo $REPLY; done) + +-[[ $outfile ]] && post="$post >$outfile" ++[ -n "$outfile" ] && post="$post >$outfile" + + { + # Compute table of content from postscript output. |