diff --git a/.github/workflows/multidocs.yml b/.github/workflows/multidocs.yml index 9d90f9b3c..3b90e2567 100644 --- a/.github/workflows/multidocs.yml +++ b/.github/workflows/multidocs.yml @@ -152,4 +152,4 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} - run: julia --project=docs/ docs/make-multi.jl deploy \ No newline at end of file + run: julia --project=docs/ docs/make-multi.jl \ No newline at end of file diff --git a/docs/make-multi.jl b/docs/make-multi.jl index af55e6fcf..286d849fa 100644 --- a/docs/make-multi.jl +++ b/docs/make-multi.jl @@ -1,13 +1,15 @@ using MultiDocumenter - -clonedir = ("--temp" in ARGS) ? mktempdir() : joinpath(@__DIR__, "clones") -outpath = mktempdir() -@info """ -Cloning packages into: $(clonedir) -Building aggregate site into: $(outpath) -""" - +for (root, dirs, files) in walkdir(".") + for file in files + filepath = joinpath(root, file) + if islink(filepath) + linktarget = abspath(dirname(filepath), readlink(filepath)) + rm(filepath) + cp(linktarget, filepath; force=true) + end + end +end docs = [ MultiDocumenter.MultiDocRef(