env.sh: Make it clear that this is not a shell script

Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
2019-08-01 11:06:38 +01:00 · 2019-08-01 11:06:38 +01:00 · c798d18a60
parent 335b0dc38b
commit c798d18a60
1 changed files with 3 additions and 1 deletions
--- a/docs/env.sh
+++ b/docs/env.sh
@ -1,4 +1,6 @@
-#!/bin/sh
+# This shell fragment is intended for use in `bash` or `zsh`.  While it
+# may work in other shells it is not meant to, and any misbehaviour is not
+# considered a bug in that case.
 #
 # NetSurf Library, tool and browser development support script
 #