add micros to project page

bytes-zone · Feb 7, 2024 · ee1ff7a · ee1ff7a
1 parent de90d78
commit ee1ff7a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/templates/project.html b/templates/project.html
@@ -24,7 +24,8 @@ <h1>{{ page.title | markdown(inline=true) | safe }}</h1>
 
   {% set posts = get_section(path="posts/_index.md") -%}
   {% set talks = get_section(path="talks/_index.md") -%}
-  {% set updates = posts.pages | concat(with=talks.pages) | filter(attribute="extra.project", value=page.title) -%}
+  {% set micros = get_section(path="micro/_index.md") -%}
+  {% set updates = posts.pages | concat(with=talks.pages) | concat(with=micros.pages) | filter(attribute="extra.project", value=page.title) -%}
   {%- if updates %}
   <h2>Updates</h2>
   <dl>