From 941a4c80a84d336496e1e0183c955adc20b87412 Mon Sep 17 00:00:00 2001
From: Lambert Theisen <lambert.theisen@rwth-aachen.de>
Date: Wed, 22 Nov 2023 08:47:55 +0100
Subject: [PATCH] Fix github actions

---
 docs/.gitignore   | 1 +
 docs/Project.toml | 2 ++
 2 files changed, 3 insertions(+)
 create mode 100644 docs/.gitignore
 create mode 100644 docs/Project.toml

diff --git a/docs/.gitignore b/docs/.gitignore
new file mode 100644
index 0000000..ba39cc5
--- /dev/null
+++ b/docs/.gitignore
@@ -0,0 +1 @@
+Manifest.toml
diff --git a/docs/Project.toml b/docs/Project.toml
new file mode 100644
index 0000000..dfa65cd
--- /dev/null
+++ b/docs/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-- 
GitLab