#!/bin/sh

set -e
for f in ccReg ZoneGenerator Whois MojeID ; do
	test -f /usr/share/idl/fred/${f}.idl
done
