From 5d22c290f87e6cf543b90e74931315849b5fd594 Mon Sep 17 00:00:00 2001
From: AllenJB <AllenJB@users.noreply.github.com>
Date: Sun, 19 Oct 2025 14:15:45 +0100
Subject: [PATCH] Doc Downloads: Replace pman with local environment setup
 guide

---
 download-docs.php | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

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