git rm -r to remove
dst and then copies
dst. Assumes that the working directory is within the git repository of
dst is when the function is called.
This is to get around #507 on filesystems that are case-insensitive (e.g. on OS X, Windows). Without doing a
git rm first,
git add -A will not detect case changes in filenames.
git_push( root, tmp, repo; branch="gh-pages", dirname="", target="site", sha="", devurl="dev", deploy_config, folder, )
Handles pushing changes to the remote documentation branch. The documentation are placed in the folder specified by
Disassemble repo address into user, host, and path to repo. If no user is given, default to "git". Reassemble user, host and path into an upstream to
git push to.
find_object(doc, binding, typesig)
Find the included
Object in the
typesig. The matching heuristic isn't too picky about what matches and will only fail when no
binding have been included.
link.url field of an at-ref link. Returns
nothing if it's not an at-ref, an empty string the reference link has no label, or a whitespace-stripped version the label.
Documenter.Document and replaces links containing
@ref URLs with their real URLs.