Author: AllenJB (AllenJB)
Committer: Derick Rethans (derickr)
Date: 2025-12-09T09:43:17+01:00
Commit: Doc Downloads: Replace pman with local environment setup guide · php/web-php@83bb216 · GitHub
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="PHP: Documentation Tools 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>
';