ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-06-26 04:00:43 +03:00
Code Issues Projects Releases Wiki Activity

Delete sub-directories when transferring extensions

Browse source
This commit is contained in:
David Kinder 2024-05-20 14:49:02 +01:00
parent 0ccfbce7e2
commit 1807d61958
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/inform.mkscript
View file

@ -719,7 +719,7 @@ forcetransferkits:
{define: transfer-extensions}
mkdir -p $(INTERNAL)
mkdir -p "$(INTERNAL)/Extensions/Graham Nelson"
rm -f $(INTERNAL)/Extensions/Graham\ Nelson/*
rm -rf $(INTERNAL)/Extensions/Graham\ Nelson/*
cp -R -f $(INFORM7WEB)/Internal/Extensions $(INTERNAL)/Extensions/..
mkdir -p "$(INTERNAL)/HTML"
cp -f $(INFORM7WEB)/Internal/HTML/xrefs.txt "$(INTERNAL)/HTML"