diff options
Diffstat (limited to 'regress/copyless')
-rwxr-xr-x | regress/copyless | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/regress/copyless b/regress/copyless deleted file mode 100755 index a00c0009..00000000 --- a/regress/copyless +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -set -e -umask 022 -if [ "$#" -ne 4 ]; then - echo "$0 $*: $# args instead of 4" 1>&2 - exit 1 -fi -if [ "$2" != "-T" ]; then - echo "$0 $*: second arg is not -T" 1>&2 - exit 1 -fi -cut -d ' ' -f 1,3 "$3" > "$1.mandoc_tag" -cp "$4" "$1.mandoc_ascii" -exit 0 |