Merge r30133 from mainline.

git-svn-id: https://svn.dealii.org/branches/releases/Branch-8-0@30134 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/external-libs/p4est.html b/deal.II/doc/external-libs/p4est.html
index 5defb7fbc5e0c37281af7638708fd1b749551c1b..67fea34c44e479f9483adaf071d486d9657417e5 100644 (file)
--- a/deal.II/doc/external-libs/p4est.html
+++ b/deal.II/doc/external-libs/p4est.html
@@ -50,9 +50,12 @@
       line like
       <pre>
 
-    cmake -DP4EST_DIR=/path/to/installation -DDEAL_II_WITH_P4EST=ON -DDEAL_II_WITH_MPI=ON <...>
+    cmake -DP4EST_DIR=/path/to/installation/FAST -DDEAL_II_WITH_P4EST=ON -DDEAL_II_WITH_MPI=ON <...>
       </pre>
-      if the p4est library isn't picked up automatically. Obviously, you
+      if the p4est library isn't picked up automatically. Note the presence
+      of <code>/FAST</code>  at the end of the path necessary when using
+      the <code>./p4est-setup.sh</code> script to select the release
+      version of p4est. Obviously, you
       can also add additional flags to <code>cmake</code> as described in
       the general <a href="../readme.html">ReadMe file</a>.
     </p>