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";