From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 23 Jul 2013 16:10:48 +0000 (+0000)
Subject: Merge r30133 from mainline.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d2a6a2e9ae046cf961d09a02ad1c343c2efee64b;p=dealii-svn.git

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 5defb7fbc5..67fea34c44 100644
--- 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>