diff options
Diffstat (limited to 'doc/ext_jit.html')
-rw-r--r-- | doc/ext_jit.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ext_jit.html b/doc/ext_jit.html index cc00e72b..d9e2520b 100644 --- a/doc/ext_jit.html +++ b/doc/ext_jit.html | |||
@@ -41,6 +41,8 @@ | |||
41 | <a class="current" href="ext_jit.html">jit.* Library</a> | 41 | <a class="current" href="ext_jit.html">jit.* Library</a> |
42 | </li><li> | 42 | </li><li> |
43 | <a href="ext_c_api.html">Lua/C API</a> | 43 | <a href="ext_c_api.html">Lua/C API</a> |
44 | </li><li> | ||
45 | <a href="ext_profiler.html">Profiler</a> | ||
44 | </li></ul> | 46 | </li></ul> |
45 | </li><li> | 47 | </li><li> |
46 | <a href="status.html">Status</a> | 48 | <a href="status.html">Status</a> |