From 34da793c52303c48079ccdb60fa749b23cb94f84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Olivier=20M=C3=BCller?= <om@omnis.ch>
Date: Wed, 8 Aug 2001 16:22:26 +0000
Subject: [PATCH] path of extchg.sh

---
 Documentation.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation.html b/Documentation.html
index 8ce73c84c..b98f24570 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -226,7 +226,7 @@
     </li>
     <li>
          If you don't use the extension ".php3" for your scripts, you can use
-         the bundled script <i>extchg.sh</i> to modify phpMyAdmin (or any other
+         the bundled script <i>scripts/extchg.sh</i> to modify phpMyAdmin (or any other
          script) to work with a different extension. Beware though, that
          currently changing the extension from .html to something other won't
          work (it'd change all "string".htmlspecialchars() constructs).