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