From 31e7cd1c7672bde788f3d60fd3de2bbcd77ccd19 Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Tue, 10 Sep 2013 00:06:17 +0200
Subject: Low-overhead profiler, part 6: documentation.

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

(limited to 'doc/ext_jit.html')

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 @@
 <a class="current" href="ext_jit.html">jit.* Library</a>
 </li><li>
 <a href="ext_c_api.html">Lua/C API</a>
+</li><li>
+<a href="ext_profiler.html">Profiler</a>
 </li></ul>
 </li><li>
 <a href="status.html">Status</a>
-- 
cgit v1.2.3-55-g6feb