From b27026e1ce8d1c2a8fc28059406265899be7cd2c Mon Sep 17 00:00:00 2001
From: Philip Olson <philip@php.net>
Date: Thu, 12 May 2011 00:16:49 +0000
Subject: [PATCH] Added information about pman availability and usage

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

diff --git a/download-docs.php b/download-docs.php
index 87bc909e7..885d9ba1e 100644
--- a/download-docs.php
+++ b/download-docs.php
@@ -18,6 +18,17 @@ $SIDEBAR_DATA='
  from our <a href="/docs.php">documentation page</a>.
 </p>
 
+<h3>Other formats</h3>
+<p>
+ The manual is also available via *nix style man pages. To
+ install and use:
+</p>
+<ul class="toc">
+ <li>Install: pear install doc.php.net/pman</li>
+ <li>Upgrade: pear upgrade doc.php.net/pman</li>
+ <li>Example usage: pman strlen</li>
+</ul>
+
 <h3>HTML Help viewers</h3>
 <ul class="toc">
  <li>Microsoft Windows has a reader built in.</li>