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, +)