Deploy documentation

oscar-system · Feb 15, 2024 · 981cc6c · 981cc6c
1 parent ab404e3
commit 981cc6c
Showing 1 changed file with 7 additions and 0 deletions.
diff --git 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,
+)