Module Name:	src
Committed By:	elad
Date:		Tue Jul 25 21:16:16 UTC 2006

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

Log Message:
first take at veriexec(9) man page, finally documenting some more
internals.


To generate a diff of this commit:
cvs rdiff -r1.205 -r1.206 src/share/man/man9/Makefile
cvs rdiff -r0 -r1.1 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.