wiz b2801fe843 Sync usage with man page.

2006-12-23 09:16:38 +00:00

..

Makefile

…

veriexecgen.8

…

veriexecgen.c

Sync usage with man page.

2006-12-23 09:16:38 +00:00