diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ext_jit.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html index 0d056b35..7b0dbe20 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
@@ -130,7 +130,7 @@ is represented by the decimal number xxyyzz. | |||
130 | <h3 id="jit_os"><tt>jit.os</tt></h3> | 130 | <h3 id="jit_os"><tt>jit.os</tt></h3> |
131 | <p> | 131 | <p> |
132 | Contains the target OS name: | 132 | Contains the target OS name: |
133 | "Windows", "Linux", "OSX", "BSD", "Posix" or "Other". | 133 | "Windows", "Linux", "OSX", "BSD", "POSIX" or "Other". |
134 | </p> | 134 | </p> |
135 | 135 | ||
136 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> | 136 | <h3 id="jit_arch"><tt>jit.arch</tt></h3> |