From 981cc6cf52be6668ef3c8dd7581323180327a3d1 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 15 Feb 2024 14:22:55 +0100
Subject: [PATCH] Deploy documentation

---
 docs/make.jl | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/docs/make.jl b/docs/make.jl
index 42fa1ded..2f2ced68 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -14,3 +14,10 @@ makedocs(
 		"unexported.md"
 	]
 )
+
+deploydocs(
+   repo   = "github.com/oscar-system/GenericCharacterTables.jl.git",
+   target = "build",
+   deps = nothing,
+   make   = nothing,
+)