From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 10 Jan 2018 00:50:30 +0000 (+0100)
Subject: Make the instructions for the p4est installation script more precise
X-Git-Tag: v9.0.0-rc1~585^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F5712%2Fhead;p=dealii.git

Make the instructions for the p4est installation script more precise
---

diff --git a/doc/external-libs/p4est.html b/doc/external-libs/p4est.html
index 69f29b36bd..55045ddd36 100644
--- a/doc/external-libs/p4est.html
+++ b/doc/external-libs/p4est.html
@@ -35,10 +35,11 @@
       If you want to use the script, copy the tarball to a fresh directory
       together with the <a href="p4est-setup.sh">p4est-setup.sh script</a>
       (the one from this link, not one you may have gotten from the p4est
-      webpage). Then call the script as follows:
+      webpage). Then make the file executable and call the script as follows:
       <pre>
 
-sh ./p4est-setup.sh p4est-x-y-z.tar.gz /path/to/installation
+chmod u+x p4est-setup.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