Fix docs.

diff --git a/doc/ext_jit.html b/doc/ext_jit.html
index 098be5e06a5c8137c47b90089b6f2b035059557f..434e41ba2ae0b36ba986695edc252bff6d95371f 100644 (file)
--- a/doc/ext_jit.html
+++ b/doc/ext_jit.html
@@ -151,7 +151,7 @@ Contains the target OS name:
 <h3 id="jit_arch"><tt>jit.arch</tt></h3>
 <p>
 Contains the target architecture name:
-"x86", "x64" or "ppcspe".
+"x86", "x64", "arm", "ppc", "ppcspe", or "mips".
 </p>
 
 <h2 id="jit_opt"><tt>jit.opt.*</tt> &mdash; JIT compiler optimization control</h2>