85582d
#!/bin/sh
85582d
echo "$0 is no longer supported, better tools exist for creating policy"
85582d
echo "Please use /usr/bin/sepolgen, slide or polgengui to generate policy"