[PHP-WEBMASTER] [web-php] master: Doc Downloads: Replace pman with local environment setup guide

Author: AllenJB (AllenJB)
Committer: Derick Rethans (derickr)
Date: 2025-12-09T09:43:17+01:00

Commit: https://github.com/php/web-php/commit/83bb2169bcc382c7b2ce899b9aeb515a2364fdaf
Raw diff: https://github.com/php/web-php/commit/83bb2169bcc382c7b2ce899b9aeb515a2364fdaf.diff

Doc Downloads: Replace pman with local environment setup guide

Changed paths:
  M  download-docs.php


Diff:

diff --git a/download-docs.php b/download-docs.php
index 9abfc80f52..e4b3e27c46 100644
--- a/download-docs.php
+++ b/download-docs.php
@@ -28,14 +28,11 @@
     <div class="headline">Other formats</div>
     <div class="body">
         <p>
-            The manual is also available via *nix style man pages. To
-            install and use:
+            The manual is also available in other formats. For instructions on
+            building the documentation see the
+            <a href="https://doc.php.net/guide/local-setup.md">local environment
+            setup guide</a>.
         </p>
-        <ul class="toc">
-            <li>Install: <code>pear install doc.php.net/pman</code></li>
-            <li>Upgrade: <code>pear upgrade doc.php.net/pman</code></li>
-            <li>Example usage: <code>pman strlen</code></li>
-        </ul>
     </div>
 </div>
 ';