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/status.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/status.html')

diff --git a/doc/status.html b/doc/status.html
index 3d148b0a..2dcb3dc1 100644
--- a/doc/status.html
+++ b/doc/status.html
@@ -44,6 +44,8 @@ ul li { padding-bottom: 0.3em; }
 <a 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 class="current" href="status.html">Status</a>
-- 
cgit v1.2.3-55-g6feb