From 8a04680d3a25768d2943e6dc9c661e8408c84191 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 23 Jul 2013 15:39:41 +0000
Subject: [PATCH] Add something.

git-svn-id: https://svn.dealii.org/trunk@30133 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/external-libs/p4est.html | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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>
-- 
2.39.5