From 7800bf5a71a622135ab625e0d6f860e5f7f1e448 Mon Sep 17 00:00:00 2001
From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 10 Jan 2018 01:50:30 +0100
Subject: [PATCH] Make the instructions for the p4est installation script more
 precise

---
 doc/external-libs/p4est.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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