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 69f29b36bd951734a1794fec3e98a13710c1ea32..55045ddd36dd890ab19f6b40eaf58d7627b605b3 100644 (file)
--- 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