PGP User's Guide, Volume II: Special Topics -- PGP returns exit status to the shell