Merge pull request #1003 from ambarish2012/master

Generated new sitemap.xml and updated pipeline to deploy the latest sitemap.xml

Author: manishas

deployDocs.sh

@@ -22,6 +22,11 @@ sync_docs() {
   echo "Building docs"
   mkdocs build
 
+  if [ "$RUN_MODE" = "production" ]; then
+    echo "copying sitemap.xml"
+    cp sitemap.xml ./site/.
+  fi  
+
   if [ -f $REDIRECT_MAPPINGS_FILE ]; then
     echo "Setting up redirects"
     ./$REDIRECT_MAPPINGS_SCRIPT $REDIRECT_MAPPINGS_FILE $AWS_S3_LOCAL_PATH