revert: push docs/ directory.

JuliaDocs · Jan 18, 2023 · ce52bb6 · ce52bb6
1 parent e1c7f03
commit ce52bb6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -88,7 +88,7 @@ if "pdf" in ARGS
 else
     deploydocs(
         repo = "github.com/JuliaDocs/Documenter.jl.git",
-        target = "..",
+        target = ".",
         push_preview = true,
     )
 end