Specify redirect target in index.html to be dev/?

[fsaad]

Related: #937

Is it possible call deploydocs in such a way that the generated index.html file always redirects to ./dev?

It seems the current code automatically determines which of ./stable or ./dev should be used in the redirect, based on the return value of HTMLWriter.expand_versions:

Documenter.jl/src/deploydocs.jl

Lines 339 to 348 in 233a782

	# Expand the users `versions` vector
	entries, symlinks = HTMLWriter.expand_versions(dirname, versions)
	# Create the versions.js file containing a list of `entries`.
	# This must always happen after the folder copying.
	HTMLWriter.generate_version_file(joinpath(dirname, "versions.js"), entries, symlinks)
	# Create the index.html file to redirect ./stable or ./dev.
	# This must always happen after the folder copying.
	HTMLWriter.generate_redirect_file(joinpath(dirname, "index.html"), entries)

[fredrikekre]

Documenter won't change the file if you manage it on your own, specifically, if the comment <!--This file is automatically generated by Documenter.jl--> is not in the file Documenter won't touch it, see https://github.com/JuliaDocs/Documenter.jl/blob/master/src/html/HTMLWriter.jl#L1494-L1496.

(Why would you default to /dev though? Latest stable release seems like a sane default, no?)

[fsaad]

Thank you for explaining. It would be good document this behavior, in the following line

Documenter.jl/src/deploydocs.jl

Lines 49 to 50 in 233a782

	* Generate `index.html`, and `versions.js` in the `branch` root and
	`siteinfo.js` in the deployment directory

[mortenpi]

Happy to accept a PR to get this documented there 🙂 I'll re-open this, with the docs being the actionable item.