From a2662cd563bf469bc083d75ca88ae38e26ef36eb Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Thu, 21 Apr 2005 10:40:58 +0000
Subject: Added new HelpFile

---
 src/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/Makefile')

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:
-- 
cgit v1.2.3