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