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