diff options
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" |