From ee7dd822a075fd4900c2a71bb38098bdc56ab7a2 Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Thu, 7 Apr 2011 02:17:24 +0200
Subject: [PATCH] Mention MIDORI_EXTENSION_PATH in INSTALL for debugging

---
 INSTALL | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/INSTALL b/INSTALL
index 63ce3662..aed4768e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -67,6 +67,10 @@ If you want to "dry run" without WebKitGTK+ rendering, try this:
 
 'MIDORI_UNARMED=1 _build_/default/midori/midori'
 
+To debug extensions you can specify the path:
+
+'export MIDORI_EXTENSION_PATH=_build_/default/extensions'
+
 For further information a tutorial for gdb and
 reading up on how you can install debugging
 symbols for libraries used by Midori are recommended.