From 0a5d7e0079ca288f02d1573a54c9b941be974279 Mon Sep 17 00:00:00 2001
From: Philippe Faes <philippe.faes@gmail.com>
Date: Wed, 18 Nov 2020 10:52:48 +0100
Subject: [PATCH] Provide sitemap files, fixes issue #39

---
 doc/_layouts/sitemap.html | 13 +++++++++++++
 doc/sitemap.md            |  9 +++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 doc/_layouts/sitemap.html
 create mode 100644 doc/sitemap.md

diff --git a/doc/_layouts/sitemap.html b/doc/_layouts/sitemap.html
new file mode 100644
index 0000000..cec96ec
--- /dev/null
+++ b/doc/_layouts/sitemap.html
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<urlset xmlns="{{ this.xmlns }}">
+{% for t in site.reflinks %}
+    {% if site.reflinks[t].fn and not site.reflinks[t].hidden %}
+    <url>
+        <loc>http://{{site.cname}}{{site.reflinks[t].url}}</loc>
+        <changefreq>{{this.changefreq}}</changefreq>
+        <priority>{{this.priority}}</priority>
+        {% if site.reflinks[t].date %}<lastmod>{{site.reflinks[t].date}}</lastmod>{% endif %}
+    </url>
+    {% endif %}
+{% endfor %}
+</urlset>
diff --git a/doc/sitemap.md b/doc/sitemap.md
new file mode 100644
index 0000000..6b466b9
--- /dev/null
+++ b/doc/sitemap.md
@@ -0,0 +1,9 @@
+---
+title: sitemap
+layout: sitemap
+changefreq: weekly
+hidden: True
+priority: 1.0
+xmlns: http://www.google.com/schemas/sitemap/0.84
+saveas: sitemap.xml
+---