add another note about executable scripts

diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index 142dc7f6ab2e6756e72901fa06e25dab94d9d642..5e9e7635653709606a3f52fa03d8d4f18f2e4c1a 100644 (file)
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -104,6 +104,7 @@ keep reading.  Otherwise, you are done with this section.
                PRE     (run your code before the NetHack hook)
                POST    (run your code after the NetHack hook)
        and HOOKNAME is the normal git name of the hook.
+   Make sure the hooks are executable (chmod +x ...).
    Be sure to test carefully since the composition of two bits of code may or
    may not do what you want.
 2) to install other bits on setup: