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/update-gmsl | |
| 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/update-gmsl')
| -rwxr-xr-x | tools/update-gmsl | 4 |
1 files changed, 2 insertions, 2 deletions
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" |