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