From 9caaf6595fce4204fb55d73a6e3bb34b43cd85a6 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Sun, 4 Jan 2015 22:58:11 +0100
Subject: [PATCH] Fix docs.

---
 doc/ext_jit.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/ext_jit.html b/doc/ext_jit.html
index 098be5e0..434e41ba 100644
--- 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>