6502
/
wudsn-ide
mirror of https://github.com/peterdell/wudsn-ide.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update site.ant

This commit is contained in:
Peter Dell 2022-12-27 03:14:52 +01:00
parent f5a494acc9
commit 7320de4fd5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.wudsn.ide.upd/site.ant
View File

@ -62,7 +62,7 @@
<replace file="${daily_folder}\site.xml" propertyfile="site.properties">
<replacefilter token="@version@" property="stable_version"/>
</replace>
<echo>Open daily/site.xml and press "Build All". Then run the target "upload_to_site" to upload the daily version.</echo>
<echo>Open update/daily/site.xml and press "Build All". Then run the target "upload_to_site" to upload the daily version.</echo>
</target>
<!-- This publishes the daily build when testing it was successful -->