diff options
author | Boris Nagaev <bnagaev@gmail.com> | 2016-08-22 20:01:13 (GMT) |
---|---|---|
committer | Boris Nagaev <bnagaev@gmail.com> | 2016-08-27 09:31:30 (GMT) |
commit | d0e424038e16a928527588f3d7626f57d34fd486 (patch) | |
tree | 28e398a59fc75eae9e9c731071ed8abf9bd06293 /tools | |
parent | 6adb5ade12836064d271868ce5fe16a3e0cc779b (diff) | |
download | mxe-d0e424038e16a928527588f3d7626f57d34fd486.zip mxe-d0e424038e16a928527588f3d7626f57d34fd486.tar.gz mxe-d0e424038e16a928527588f3d7626f57d34fd486.tar.bz2 |
rename doc/ to docs/
See https://github.com/mxe/mxe/issues/1500
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" |