#! /bin/sh

SUCCESS=0

for test in "$@"; do
    if ! sh dtx/list1-1 "$test"; then
	SUCCESS=1
    fi
done

exit $SUCCESS
