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

(limited to 'doc/install.html')

diff --git a/doc/install.html b/doc/install.html
index b7bf75ce..024a4057 100644
--- a/doc/install.html
+++ b/doc/install.html
@@ -69,6 +69,8 @@ td.compatno {
 <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 href="status.html">Status</a>
-- 
cgit v1.2.3-55-g6feb