diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/build-pkg.lua | 2 | ||||
| -rwxr-xr-x | tools/update-gmsl | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/tools/build-pkg.lua b/tools/build-pkg.lua index ce3d263..8ec32c8 100755 --- a/tools/build-pkg.lua +++ b/tools/build-pkg.lua @@ -1031,7 +1031,7 @@ local function makeMxeSourcePackage() 'patch.mk', 'README.md', 'assets', - 'doc', + 'docs', 'ext', 'index.html', 'src', diff --git a/tools/update-gmsl b/tools/update-gmsl index ff37987..bb5b52b 100755 --- a/tools/update-gmsl +++ b/tools/update-gmsl @@ -26,10 +26,10 @@ if [ $current_version != $latest_version ]; then $WGET -q -O tmp-gmsl.tar.gz \ "http://downloads.sourceforge.net/project/gmsl/GNU%20Make%20Standard%20Library/v${latest_version}/gmsl-${latest_version}.tar.gz" tar xzf tmp-gmsl.tar.gz - rm -f ext/*gmsl doc/gmsl* + rm -f ext/*gmsl docs/gmsl* cp -a gmsl-${latest_version}/gmsl ext/ cp -a gmsl-${latest_version}/__gmsl ext/ - cp -a gmsl-${latest_version}/index.html doc/gmsl.html + cp -a gmsl-${latest_version}/index.html docs/gmsl.html clean else echo "No new version available: $current_version" |