links to POPL'18 talk

[web.git] / ralf / blog / feed.xml

diff --git a/ralf/blog/feed.xml b/ralf/blog/feed.xml
index 4e3b89ad4ec853ebe077372c681ebfd4a4577e7f..305ea9f630395147320a5a5c87d86003f637393e 100644 (file)
--- a/ralf/blog/feed.xml
+++ b/ralf/blog/feed.xml
@@ -1,31 +1,7 @@
 ---
 ---

-layout: null
+layout: feed

 slug: Subscribe
 ---
 slug: Subscribe
 ---

-<?xml version="1.0" encoding="UTF-8"?>
-<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
-  <channel>
-    <title>{{ site.blog.title | xml_escape }}</title>
-    <description>{{ site.blog.description | xml_escape }}</description>
-    <link>{{ site.url }}/</link>
-    <atom:link href="{{ "/feed.xml" | prepend: site.url }}" rel="self" type="application/rss+xml"/>
-    <pubDate>{{ site.time | date_to_rfc822 }}</pubDate>
-    <lastBuildDate>{{ site.time | date_to_rfc822 }}</lastBuildDate>
-    <generator>Jekyll v{{ jekyll.version }}</generator>
-    {% for post in site.posts limit:10 %}
-      <item>
-        <title>{{ post.title | xml_escape }}</title>
-        <description>{{ post.content | xml_escape }}</description>
-        <pubDate>{{ post.date | date_to_rfc822 }}</pubDate>
-        <link>{{ post.url | prepend: site.url }}</link>
-        <guid isPermaLink="true">{{ post.url | prepend: site.url }}</guid>
-        {% for tag in post.tags %}
-        <category>{{ tag | xml_escape }}</category>
-        {% endfor %}
-        {% for cat in post.categories %}
-        <category>{{ cat | xml_escape }}</category>
-        {% endfor %}
-      </item>
-    {% endfor %}
-  </channel>
-</rss>
+
+<title>{{ site.blog.title | xml_escape }}</title>
+{% include post-feed.html posts=site.posts %}