[PATCH] Documentation: exclude redirected locations from the sitemap

[Valentin Gagarin <valentin@gagarin.work>]

The Jekyll plugin for redirects creates stub files, which would show up
in the sitemap if not filtered out explicitly.

Signed-off-by: Valentin Gagarin <valentin@gagarin.work>
---
 Documentation/_includes/sitemap.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Documentation/_includes/sitemap.html b/Documentation/_includes/sitemap.html
index 4bc3e71..bcac1b4 100644
--- a/Documentation/_includes/sitemap.html
+++ b/Documentation/_includes/sitemap.html
@@ -17,7 +17,9 @@ which we assume if it is constructed by a directory and contains an index file.
 {%- capture inner -%}
   {%- assign candidates = site.html_pages
         | where_exp: "p", "p.url contains prefix"
-        | where_exp: "p", "p.url != prefix" -%}
+        | where_exp: "p", "p.url != prefix"
+        | where_exp: "p", "p.sitemap != false"
+  -%}
   {%- if prefix == default_root -%}
     {%- assign list_with_root_page = site.html_pages | where: "url", prefix -%}
     {%- assign candidates = list_with_root_page | concat: candidates -%}
-- 
2.54.0