Module Name:	src
Committed By:	elad
Date:		Thu Nov 30 16:55:00 UTC 2006

Modified Files:
	src/share/man/man9: veriexec.9

Log Message:
Sync with reality after recent changes.


To generate a diff of this commit:
cvs rdiff -r1.7 -r1.8 src/share/man/man9/veriexec.9

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.