diff options
Diffstat (limited to 'apps/plugins/puzzles/genhelp.sh')
| -rwxr-xr-x | apps/plugins/puzzles/genhelp.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/apps/plugins/puzzles/genhelp.sh b/apps/plugins/puzzles/genhelp.sh index 007cdafd21..d6c4cc3e94 100755 --- a/apps/plugins/puzzles/genhelp.sh +++ b/apps/plugins/puzzles/genhelp.sh | |||
| @@ -89,3 +89,6 @@ done | |||
| 89 | 89 | ||
| 90 | # generate quick help from gamedesc.txt | 90 | # generate quick help from gamedesc.txt |
| 91 | cat src/gamedesc.txt | awk -F ":" '{print "const char quick_help_text[] = \""$5"\";" >> "help/"$1".c" }' | 91 | cat src/gamedesc.txt | awk -F ":" '{print "const char quick_help_text[] = \""$5"\";" >> "help/"$1".c" }' |
| 92 | |||
| 93 | rm puzzles.txt | ||
| 94 | rm compress | ||