diff options
| author | bringert <unknown> | 2005-04-21 10:40:58 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-04-21 10:40:58 +0000 |
| commit | a2662cd563bf469bc083d75ca88ae38e26ef36eb (patch) | |
| tree | f59cade763a99e763162409c42c655b1dc0740c8 /src/Makefile | |
| parent | 2d420088a25ef76e18a69252c3d04b540721cf37 (diff) | |
Added new HelpFile
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: |