From 753df5cb0833e50474e28e0f8814a1460652d76b Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Sun, 11 Dec 2022 15:38:04 +0100
Subject: [PATCH] Trigger a new github actions build

---
 thesis/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/thesis/Makefile b/thesis/Makefile
index 86bf5be..f0b392a 100644
--- a/thesis/Makefile
+++ b/thesis/Makefile
@@ -21,3 +21,5 @@ livehtml:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS)
+
+# remake