diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/check-doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/check-doc b/tools/check-doc index 4e8d036e8..4a5dccc88 100755 --- a/tools/check-doc +++ b/tools/check-doc @@ -5,7 +5,7 @@ case $1 in 'script') #find which script commands are missing from doc/script_commands.txt - echo "Missing scipt documentation for function :" + echo "Missing script documentation for function :" awk '/BUILDIN_DEF\(.*\),/ {b=match($0,"BUILDIN_DEF(.*),");c=match($0,",");print substr($0,b+12,c-b-12);}' ../src/map/script.c | xargs -I{} sh -c '! grep -Lq {} ../doc/script_commands.txt && echo {}' awk '/BUILDIN_DEF2\(.*\),/ {b=match($0,"BUILDIN_DEF2(.*),");c=match($0,",");d=match($0 ,"\",\"");print substr($0,c+2,d-c-2);}' ../src/map/script.c | xargs -I{} sh -c '! grep -Lq {} ../doc/script_commands.txt && echo {}' ;; |