diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index f4c743649..bb80d07fc 100644 --- a/src/Makefile +++ b/src/Makefile @@ -110,7 +110,9 @@ jar: javac tools/MkHelpFile: tools/MkHelpFile.hs $(GHMAKE) -o $@ $^ -help: tools/MkHelpFile +help: GF/Shell/HelpFile.hs + +GF/Shell/HelpFile.hs: tools/MkHelpFile HelpFile tools/MkHelpFile # added by peb: |