From cc9723e39bf4bd2c706a06cccb4afdfc2c1be1e8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 6 Jun 2024 10:41:57 +0200
Subject: [PATCH] maybe this is the right condition

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index d68b555..46e3c1e 100644
--- a/index.html
+++ b/index.html
@@ -158,7 +158,7 @@ <h2>PhD dissertations</h2>
           <h2>Other material</h2>
         </div>
 
-        {% if site.data.publications.draft_papers %}
+        {% if site.data.publications.draft_papers.length > 0 %}
         <div>
           <p>Draft papers:</p>
           <dl class="ref">