From 3687f9308e0fa4110d2732ab85957fa1ec358ad7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Fournier?= <clement.fournier76@gmail.com>
Date: Fri, 18 May 2018 01:41:41 +0200
Subject: [PATCH] Plug into release.sh

---
 .travis/release.sh           | 5 +++++
 .travis/sitemap_generator.sh | 6 ++++--
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/.travis/release.sh b/.travis/release.sh
index f33d1cceaf..4f465e3e5b 100755
--- a/.travis/release.sh
+++ b/.travis/release.sh
@@ -64,10 +64,15 @@ mkdir pmd.github.io
     rsync -a ../docs/pmd-doc-${RELEASE_VERSION}/ pmd-${RELEASE_VERSION}/
     git add pmd-${RELEASE_VERSION}
     git commit -q -m "Added pmd-${RELEASE_VERSION}"
+
     git rm -qr latest
     cp -a pmd-${RELEASE_VERSION} latest
     git add latest
     git commit -q -m "Copying pmd-${RELEASE_VERSION} to latest"
+
+    ./sitemap_generator.sh
+    git add sitemap.xml
+    git commit -q -m "Generated sitemap.xml"
     git push origin master
 )
 
diff --git a/.travis/sitemap_generator.sh b/.travis/sitemap_generator.sh
index 1a1d719326..e8f17b23ff 100755
--- a/.travis/sitemap_generator.sh
+++ b/.travis/sitemap_generator.sh
@@ -6,8 +6,10 @@
 
 WEBSITE_PREFIX="https://pmd.github.io/"
 DOC_PREFIX="pmd-${RELEASE_VERSION}/"
-LATEST_PRIORITY=0.8
 DATE=`date +%Y-%m-%d`
+# Priority is relative to the website, can be chosen in {0.1, 0.2, ..., 1}
+# Default priority is 0.5
+LATEST_PRIORITY=0.8
 
 
 # Start of the output writing
@@ -50,5 +52,5 @@ ENTRY_END
 
 done
 
-echo "</urlset>" >> sitemap.xml 
+echo "</urlset>" >> sitemap.xml