papers update: add ICFP talk; add refinement paper

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

diff --git a/ralf/blog/feed.xml b/ralf/blog/feed.xml
index 7a7e919aa8e57fca2bd85e98b25948a7756d8e2d..305ea9f630395147320a5a5c87d86003f637393e 100644 (file)
--- a/ralf/blog/feed.xml
+++ b/ralf/blog/feed.xml
@@ -1,31 +1,7 @@
 ---
-layout: null
+layout: feed
 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.title | xml_escape }}</description>
-    <link>{{ site.url }}{{ site.baseurl }}/</link>
-    <atom:link href="{{ "/feed.xml" | prepend: site.baseurl | 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.baseurl | prepend: site.url }}</link>
-        <guid isPermaLink="true">{{ post.url | prepend: site.baseurl | 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 %}