From 6b0b457fdee39793de4fc3552e3b9c7fe42a443c Mon Sep 17 00:00:00 2001
From: Sanel Zukan <karijes@users.sf.net>
Date: Mon, 22 Sep 2008 13:46:14 +0000
Subject: [PATCH] Renaming files

---
 ede-help/Jamfile                     | 8 ++++----
 ede-help/{ehelp.in => ede-help.in}   | 0
 ede-help/{ehelp.txt => ede-help.txt} | 0
 3 files changed, 4 insertions(+), 4 deletions(-)
 rename ede-help/{ehelp.in => ede-help.in} (100%)
 rename ede-help/{ehelp.txt => ede-help.txt} (100%)

diff --git a/ede-help/Jamfile b/ede-help/Jamfile
index e0c7050..ff8c1dd 100644
--- a/ede-help/Jamfile
+++ b/ede-help/Jamfile
@@ -8,14 +8,14 @@
 # GNU General Public License version 2 or later.
 # See COPYING for the details.
  
-SubDir TOP ehelp ;
+SubDir TOP ede-help ;
 
 rule MakeScript
 {
 	# add grist to file names (not needed, but you never know...)
 	local source = [ FGristFiles $(>) ] ;
 
-	# let jam call from the top directory (jam ehelp) knows what to
+	# let jam call from the top directory (jam ede-help) knows what to
 	# build and not be confused with the same name of directory
 	SEARCH on $(source) = $(SUBDIR) ;
 
@@ -41,5 +41,5 @@ actions existing MakeScript1
 	cat "$(>)" | $(SED) -e 's|@ededocdir@|$(EDEDOCDIR)|' > "$(<)"
 }
 
-MakeScript ehelp : ehelp.in ;
-EdeManual ehelp.txt ;
+MakeScript ede-help : ede-help.in ;
+EdeManual ede-help.txt ;
diff --git a/ede-help/ehelp.in b/ede-help/ede-help.in
similarity index 100%
rename from ede-help/ehelp.in
rename to ede-help/ede-help.in
diff --git a/ede-help/ehelp.txt b/ede-help/ede-help.txt
similarity index 100%
rename from ede-help/ehelp.txt
rename to ede-help/ede-help.txt