mirror of
https://github.com/edeproject/ede.git
synced 2023-08-10 21:13:03 +03:00
Renaming files
This commit is contained in:
parent
0ff888bcc0
commit
6b0b457fde
@ -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 ;
|
||||
|
Loading…
Reference in New Issue
Block a user