This directory contains source files for generating the example ACL2 files in the directory above
using RAC; they are just "for show".  This cert_pl_exclude file prevents the files in this directory
from being deleted by the cert.pl "clean" process.
