You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm developing a Julia project as a git submodule of another repository. When doing this, Documenter.Utilties.url appends an unneeded subdirectory into the path.
repo_root fails if gitdir: in the .git file is a relative path, which
may be the case for submodules. Also add tests for the worktree case,
which so far was untested.
Fix#1000
repo_root fails if gitdir: in the .git file is a relative path, which may be
the case for submodules. Also add tests for the worktree case, which
so far was untested and remove some unnecessary debug output.
Fix#1000
Documenter.jl/src/Utilities/Utilities.jl
Line 360 in 257cbb0
I'm developing a Julia project as a git submodule of another repository. When doing this,
Documenter.Utilties.url
appends an unneeded subdirectory into the path.For example, Documenter creates this link:
https://github.com/user/project.jl/blob/{commit}/submodule/src/filename.jl#L1-3
when the correct link should be
https://github.com/user/project.jl/blob/{commit}/src/filename.jl#L1-3
Note the extra
/submodule/
in the path.I believe the problem is in the following lines, which construct the path:
The text was updated successfully, but these errors were encountered: