download.html: Update info for POSIX manual pages

There's now a Git repo...

Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>

1 files changed, 28 insertions, 5 deletions

diff --git a/download.html b/download.html
index a22eeab..52166c1 100644
--- a/download.html
+++ b/download.html
@@ -51,11 +51,6 @@ download
   <a href="https://www.win.tue.nl/~aeb/ftpdocs/linux-local/manpages.archive/">here</a>.
 </p>
 
-<p>
-  The POSIX manual pages can be downloaded
-  <a href="https://www.kernel.org/pub/linux/docs/man-pages/man-pages-posix/">here</a>.
-</p>
-
 <h2>Git</h2>
 <p>
   Using
@@ -86,6 +81,34 @@ $ <strong>git clone https://github.com/mkerrisk/man-pages</strong>
     via the GitHub issue tracker.
     See <a href="reporting_bugs.html">here</a> instead.)
 </p>
+
+<h2>POSIX manual pages</h2>
+
+<p>
+the IEEE and The Open Group
+have kindly granted us permission to distribute extracts from the latest
+version of the POSIX.1 standard:
+</p>
+<blockquote>
+<p>
+    IEEE Std 1003.1-2017, Standard for Information Technology--Portable
+    Operating System Interface (POSIX), The Open Group Base Specifications
+    Issue 7, 2018 Edition, Copyright (C) 2018 by the Institute of
+    Electrical and Electronics Engineers, Inc and The Open Group.
+
+</p>
+</blockquote>
+
+<p>
+  The POSIX manual pages can be downloaded
+  <a href="https://www.kernel.org/pub/linux/docs/man-pages/man-pages-posix/">here</a>.
+</p>
+
+<p>
+  The Git repository for the POSIX manual pages is
+  <a href="https://git.kernel.org/pub/scm/docs/man-pages/man-pages-posix.git">here</a>.
+</p>
+
 <!--BEGIN-STATCOUNTER-->
 <!-- SITETRACKING.linux_man-pages -->
 <!-- Start of StatCounter Code -->