From 6ca29c8ad1fa5f94b5a196fb219b040586146e71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Tue, 12 Dec 2023 20:53:26 +0100
Subject: [PATCH] Link to paper from landing page

---
 docs/_layouts/default.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 339f0d2a90..777faebf4d 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -29,6 +29,7 @@ <h2 class="project-tagline">{{ page.description | default: site.description | de
       }}</h2>
     <a href="blueprint" class="btn">Blueprint</a>
     <a href="docs" class="btn">Documentation</a>
+    <a href="blueprint.pdf" class="btn">Paper</a>
     {% if site.github.is_project_page %}
     <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
     {% endif %}