blob: a00c0009b26764fea8a2cdf79c9f9caa7d3d6b7c (
plain) (
tree)
|
|
#!/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
|