projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
blog post about MIR and miri and semantics and instrumentation
[web.git]
/
personal
/
_includes
/
post-feed.html
diff --git
a/personal/_includes/post-feed.html
b/personal/_includes/post-feed.html
index 18959edc70b44510096d4468e123b45e93500db7..c9b7c84db70deb8788ea5325c28ebe59b69a748b 100644
(file)
--- a/
personal/_includes/post-feed.html
+++ b/
personal/_includes/post-feed.html
@@
-7,6
+7,12
@@
{% for cat in post.categories %}
<category term="{{ cat }}" label="{{ cat | capitalize }}"/>
{% endfor %}
{% for cat in post.categories %}
<category term="{{ cat }}" label="{{ cat | capitalize }}"/>
{% endfor %}
- <content type="html">{{ post.content | xml_escape }}</content>
+ <content type="html">
+ {% capture content %}
+ {{ post.excerpt }}
+ <p><a href="{{ post.url }}">Read more...</a></p>
+ {% endcapture %}
+ {{ content | xml_escape }}
+ </content>
</entry>
{% endfor %}
</entry>
{% endfor %}