blob: a00c0009b26764fea8a2cdf79c9f9caa7d3d6b7c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/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
|
