add -V option docs
diff --git a/doc/documentation.html b/doc/documentation.html
index 4b387c9..7d12ee3 100644
--- a/doc/documentation.html
+++ b/doc/documentation.html
@@ -114,10 +114,10 @@
<B><TT>flac</TT></B> will be invoked one of two ways, depending on whether you are encoding or decoding:
<UL>
<LI>
- Encoding: flac [-v] [--skip #] [<format-options>] [<encoding options>] inputfile outputfile
+ Encoding: flac [-s] [--skip #] [<format-options>] [<encoding options>] inputfile outputfile
</LI>
<LI>
- Decoding: flac -d [-v] [--skip #] [<format-options>] inputfile outputfile
+ Decoding: flac -d [-s] [--skip #] [<format-options>] inputfile outputfile
</LI>
</UL>
</P>
@@ -321,9 +321,17 @@
</TR>
<TR>
<TD NOWRAP ALIGN="RIGHT" VALIGN="TOP" BGCOLOR="#F4F4CC">
+ -V
</TD>
<TD>
- -m-, -e-, -p-, --lax- can all be used to turn off a particular option.
+ Verify the encoding process. With this option, <B><TT>flac</TT></B> will create a parallel decoder that decodes the output of the encoder and compares the result against the original. It will abort immediately with an error if a mismatch occurs. <B><TT>-V</TT></B> increases the total encoding time but is guaranteed to catch any unforseen bug in the encoding process.
+ </TD>
+ </TR>
+ <TR>
+ <TD NOWRAP ALIGN="RIGHT" VALIGN="TOP" BGCOLOR="#F4F4CC">
+ </TD>
+ <TD>
+ -m-, -e-, -p-, -V-, --lax- can all be used to turn off a particular option.
</TD>
</TR>
</TABLE>