Added new HelpFile

This commit is contained in:
bringert
2005-04-21 10:40:58 +00:00
parent dc3702a371
commit 2351552522
2 changed files with 522 additions and 1 deletions

View File

@@ -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: