diff options
| author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2019-08-01 11:06:38 +0100 |
|---|---|---|
| committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2019-08-01 11:06:38 +0100 |
| commit | c798d18a607ac010784e473f98f24c01a3fc4fb5 (patch) | |
| tree | cfff4a8282e4912ccb9b371a543973d07bdc22ae /docs | |
| parent | 335b0dc38b0e67e6714a871beab6f0ada146ae2f (diff) | |
| download | netsurf-c798d18a607ac010784e473f98f24c01a3fc4fb5.tar.gz netsurf-c798d18a607ac010784e473f98f24c01a3fc4fb5.tar.bz2 | |
env.sh: Make it clear that this is not a shell script
Signed-off-by: Daniel Silverstone <dsilvers@digital-scurf.org>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/env.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/env.sh b/docs/env.sh index 39513cf0d..3b0f24927 100644 --- 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 # |