From b22467e32a4318bfe13adf67417048a9287ec340 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Fournier?= Date: Fri, 18 May 2018 01:25:40 +0200 Subject: [PATCH] Add index pages --- .travis/sitemap_generator.sh | 34 +++++++++++++++++++++++++--------- 1 file changed, 25 insertions(+), 9 deletions(-) diff --git a/.travis/sitemap_generator.sh b/.travis/sitemap_generator.sh index e0a1f0717f..1a1d719326 100755 --- a/.travis/sitemap_generator.sh +++ b/.travis/sitemap_generator.sh @@ -2,7 +2,7 @@ # Sitemap generator # Assumes we have the latest version of the site under "latest" and "pmd-${RELEASE_VERSION}" - +# https://www.sitemaps.org/protocol.html WEBSITE_PREFIX="https://pmd.github.io/" DOC_PREFIX="pmd-${RELEASE_VERSION}/" @@ -16,19 +16,35 @@ cat << HEADER_END > sitemap.xml + + ${WEBSITE_PREFIX}index.html + 1 + monthly + $DATE + + + + ${WEBSITE_PREFIX}${DOC_PREFIX}index.html + 0.9 + monthly + $DATE + + + + HEADER_END -for page in pmd-${RELEASE_VERSION}/pmd_*.html +for page in ${DOC_PREFIX}pmd_*.html do -cat << ENTRY_END >> sitemap.xml - - ${WEBSITE_PREFIX}$page - $LATEST_PRIORITY - monthly - $DATE - + cat << ENTRY_END >> sitemap.xml + + ${WEBSITE_PREFIX}$page + $LATEST_PRIORITY + monthly + $DATE + ENTRY_END