add camera-ready version of itree-program-logic paper

[web.git] / personal / _config.yml

diff --git a/personal/_config.yml b/personal/_config.yml
index 0b6ab46e8d40df1d0064dc967c02634db99426a5..959b1047026d25901b01df67ab4d578ba430f78f 100644 (file)
--- a/personal/_config.yml
+++ b/personal/_config.yml
@@ -12,13 +12,14 @@ readmes:
     src_base: "/home/r/src"
     out_base: "projects"
     projects:
-      - name: "lilass"
+      - name: "bubblebox"
       - name: "dyn-nsupdate"
-      - name: "zonemaker"
-      - name: "schsh"
+      - name: "git-mirror"
+      - name: "lilass"
       - name: "rust-101"
         src: "rust/rust-101"
-      - name: "git-mirror"
+      - name: "schsh"
+      - name: "zonemaker"
 
 defaults:
   - scope:
@@ -31,8 +32,7 @@ defaults:
     values:
         permalink: "/blog/:year/:month/:day/:title.html"
         rss: true
-        post: true
-        vars: "blog-page.html"
+        layout: "post"
 
 # Build settings
 markdown: kramdown