“Old documentation” banner shown for pre-release docs

[sostock]

For example, the docs for Julia 1.7-rc2 and 1.8-DEV show the “This is an old version of the documentation. Go to the newest version.” banner with a link to the 1.6 docs, even though these versions are newer than 1.6.

The banner is added for all version numbers that are not equal to the newest version, even if they are newer:

Documenter.jl/assets/html/warner.js

Lines 18 to 21 in d2254ba

	// Current version is newest version, so no need to add a warning.
	if (window.DOCUMENTER_NEWEST === window.DOCUMENTER_CURRENT_VERSION) {
	return
	};

[fredrikekre]

The warning is changed to

Documenter.jl/assets/html/warner.js

Line 40 in d2254ba

div.innerHTML = 'This documentation is not for the latest version. <br> <a href="' + href + '">Go to the latest documentation</a>.';