diff options
Diffstat (limited to 'main/txt2man/fixbashism.patch')
| -rw-r--r-- | main/txt2man/fixbashism.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/main/txt2man/fixbashism.patch b/main/txt2man/fixbashism.patch deleted file mode 100644 index f31059d880..0000000000 --- a/main/txt2man/fixbashism.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- ./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. |