--- checkpolicy-2.0.1/checkmodule.8~ 2007-02-20 09:20:51.000000000 -0500 +++ checkpolicy-2.0.1/checkmodule.8 2007-04-11 14:32:40.000000000 -0400 @@ -3,7 +3,7 @@ checkmodule \- SELinux policy module compiler .SH SYNOPSIS .B checkmodule -.I "[-b] [-d] [-m] [-M] [-o output_file] [input_file]" +.I "[-b] [-m] [-M] [-V] [-o output_file] [input_file]" .SH "DESCRIPTION" This manual page describes the .BR checkmodule @@ -25,16 +25,15 @@ Read an existing binary policy module file rather than a source policy module file. This option is a development/debugging aid. .TP -.B \-d -Enter debug mode after loading the policy. This option is a -development/debugging aid. -.TP .B \-m Generate a non-base policy module. .TP .B \-M Enable the MLS/MCS support when checking and compiling the policy module. .TP +.B \-V + Show policy versions created by this program +.TP .B \-o filename Write a binary policy module file to the specified filename. Otherwise, checkmodule will only check the syntax of the module source file