Moved sitemap

.gitignore

@@ -14,7 +14,7 @@ docs/README.md
 docs/vscode-yolol.md
 docs/generated/*
 docs/nolol-stdlib.md
-docs/sitemap.xml
+docs/sitemap_new.xml
 examples/nolol/*.yolol
 CHANGELOG.md
 yodk*.zip

Makefile

@@ -138,4 +138,4 @@ publish-vsix: vscode-yolol.vsix
 .PHONY: clean
 clean:
 	-rm -rf yodk* *.zip *.vsix CHANGELOG.md vscode-yolol/*.vsix vscode-yolol/CHANGELOG.md vscode-yolol/bin/win32/yo* vscode-yolol/bin/linux/yo* vscode-yolol/bin/darwin/yo* acid_test.yaml
-	-rm -rf docs/sitemap.xml docs/generated/* docs/vscode-yolol.md docs/README.md docs/nolol-stdlib.md
+	-rm -rf docs/sitemap_new.xml docs/generated/* docs/vscode-yolol.md docs/README.md docs/nolol-stdlib.md

ci/build-docs.sh

@@ -33,7 +33,7 @@ ROOTURL="https://dbaumgarten.github.io/yodk/#/"
 IGNORE_IN_SITEMAP="README.md,nolol-stdlib-header.md,_sidebar.md"
 
 cd docs
-cat << EOF > sitemap.xml
+cat << EOF > sitemap_new.xml
 <?xml version="1.0" encoding="UTF-8"?>
 <urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
 <url>
@@ -45,7 +45,7 @@ EOF
 for FILE in *.md; do
 if ! echo ${IGNORE_IN_SITEMAP} | grep -q ${FILE}; then
 CHANGEDATE=$(date -r ${FILE} "+%Y-%m-%dT%H:%M:%S%:z")
-cat << EOF >> sitemap.xml
+cat << EOF >> sitemap_new.xml
 <url>
       <loc>${ROOTURL}${FILE}</loc>
       <lastmod>${CHANGEDATE}</lastmod>
@@ -54,7 +54,7 @@ EOF
 fi
 done
 
-cat << EOF >> sitemap.xml
+cat << EOF >> sitemap_new.xml
 </urlset> 
 EOF