From fd7690ac61cfc5f7deb6cac4c9753ccffba58c99 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 21 Jan 2014 22:10:31 +0000
Subject: [PATCH] update p4est instructions, remove some outdated stuff

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

diff --git a/deal.II/doc/external-libs/p4est.html b/deal.II/doc/external-libs/p4est.html
index a1255c0cf0..767b54df50 100644
--- a/deal.II/doc/external-libs/p4est.html
+++ b/deal.II/doc/external-libs/p4est.html
@@ -38,7 +38,7 @@
       webpage). Then call the script as follows:
       <pre>
 
-    ./p4est-setup.sh p4est-x-y-z.tar.gz /path/to/installation
+sh ./p4est-setup.sh p4est-x-y-z.tar.gz /path/to/installation
       </pre>
       where <code>p4est-x-y-z.tar.gz</code> is the name of the p4est
       distribution file, and <code>/path/to/installation</code> is a
@@ -50,14 +50,9 @@
       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 -DDEAL_II_WITH_P4EST=ON -DDEAL_II_WITH_MPI=ON <...>
       </pre>
-      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>.
+      if the p4est library isn't picked up automatically.
     </p>
 
     <hr />
-- 
2.39.5