From 4d15e7430f8029b127febf34d2d953c62d6234e0 Mon Sep 17 00:00:00 2001
From: Roman Ivanov <ivanov-jr@mail.ru>
Date: Mon, 1 Apr 2019 21:20:24 -0700
Subject: [PATCH] config: remove dtds folder from sourceforge (#6478)

---
 .ci/copy-site-to-sourceforge.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.ci/copy-site-to-sourceforge.sh b/.ci/copy-site-to-sourceforge.sh
index d1787382fcae..100c747441b9 100755
--- a/.ci/copy-site-to-sourceforge.sh
+++ b/.ci/copy-site-to-sourceforge.sh
@@ -48,6 +48,8 @@ tar -xzvf checkstyle.github.io.tar.gz
 mv htdocs htdocs-$PREV_RELEASE
 mv checkstyle.github.io htdocs
 ln -s /home/project-web/checkstyle/reports htdocs/reports
+echo "remove dtds folder from unsecure web site"
+rm -r htdocs/dtds
 echo "restore folder with links to old releases"
 mv htdocs-$PREV_RELEASE/version htdocs