From debff9fa46be094eaccec2ee15d27eef65d30fb8 Mon Sep 17 00:00:00 2001
From: Philip Olson <philip@php.net>
Date: Wed, 26 Jan 2005 19:54:48 +0000
Subject: [PATCH] Link extended chm docs to docs-echm.php

---
 download-docs.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/download-docs.php b/download-docs.php
index 6ef1a0651..83d0dd6bb 100644
--- a/download-docs.php
+++ b/download-docs.php
@@ -128,7 +128,11 @@ if (count($found_formats) == 0) {
     // Print out the name of the formats
     foreach ($formats as $formatname => $extension) {
         if (!in_array($extension, array_values($found_formats))) { continue; }
-        echo "  <th valign=\"bottom\">$formatname</th>\n";
+        if ($formatname === 'Extended HTML Help') {
+            echo "  <th valign=\"bottom\"><a href=\"/docs-echm.php\">$formatname</a></th>\n";
+        } else {
+            echo "  <th valign=\"bottom\">$formatname</th>\n";
+        }
     }
 
     echo " </tr>\n";