diff options
author | Roman Ivanov <romani@users.noreply.github.com> | 2017-05-19 08:45:56 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-19 08:45:56 -0700 |
commit | f0bb99e9573946176df4a1f799203ad44823b39b (patch) | |
tree | 318b9c82bb62c4ade2e3c32de3e95d170693554e | |
parent | ddeb553834f10570089a033fa1ac1501b74ac358 (diff) | |
download | checkstyle-f0bb99e9573946176df4a1f799203ad44823b39b.tar.gz |
Issue #4341: remove soft link to dtds (outside of htdocs folder)
-rwxr-xr-x | release.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/release.sh b/release.sh index 8e8263f42..efa0d337e 100755 --- a/release.sh +++ b/release.sh @@ -41,7 +41,6 @@ mv htdocs/new-site/ . mv htdocs htdocs-$PREV_RELEASE mv new-site htdocs ln -s /home/project-web/checkstyle/reports htdocs/reports -ln -s /home/project-web/checkstyle/dtds htdocs/dtds #Archiving tar cfz htdocs-$PREV_RELEASE.tar.gz htdocs-$PREV_RELEASE/ |