diff options
Diffstat (limited to '')
-rw-r--r-- | doc/running.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/running.html b/doc/running.html index e337d535..6991ef7a 100644 --- a/doc/running.html +++ b/doc/running.html | |||
@@ -45,8 +45,13 @@ td.param_default { | |||
45 | <a href="install.html">Installation</a> | 45 | <a href="install.html">Installation</a> |
46 | </li><li> | 46 | </li><li> |
47 | <a class="current" href="running.html">Running</a> | 47 | <a class="current" href="running.html">Running</a> |
48 | </li></ul> | ||
49 | </li><li> | ||
50 | <a href="extensions.html">Extensions</a> | ||
51 | <ul><li> | ||
52 | <a href="ext_jit.html">jit.* Library</a> | ||
48 | </li><li> | 53 | </li><li> |
49 | <a href="api.html">API Extensions</a> | 54 | <a href="ext_c_api.html">Lua/C API</a> |
50 | </li></ul> | 55 | </li></ul> |
51 | </li><li> | 56 | </li><li> |
52 | <a href="status.html">Status</a> | 57 | <a href="status.html">Status</a> |