v2.3 webpage is not quite v2.3

[shhyou]

Expected

Version 2.3 library in the webpage: http://agda.github.io/agda-stdlib/v2.3/README.html

Actual

It appears to be some post-v2.3 version:

(Link to GitHub: https://github.com/agda/agda-stdlib/blob/gh-pages/v2.3/README.html)

------------------------------------------------------------------------
-- The Agda standard library, version 2.4-dev

Perhaps some version between 2.3 and HEAD is accidentally deployed.

[jamesmckinna]

Hmmm... the version of doc/README.Agda on the v2.3 release branch seems to correct, but the generated pages seem to be out of sync.

This may need further investigation!

But a useful prompt ahead of the 'upcoming' v2.4 release in any case...

[shhyou]

Given 6b8bbb7 and f58379c, I suspect the per-version HTML pages are deployed manually.

[shhyou]

Here:

agda-stdlib/doc/release-guide.txt

Lines 63 to 75 in dd64a3a

	* Generate and upload documentation for the released version:
	cp .github/tooling/* .
	cabal run GenerateEverything
	./index.sh
	agda -i. -idoc -isrc --html index.agda
	mv html v$VERSION
	git checkout gh-pages
	git add v$VERSION/*.html v$VERSION/*.css
	git commit -m "[ release ] doc for version $VERSION"
	git push

[shhyou]

Aha, figured how to send PR to a non-primary branch. And it turns out that I almost forgot to switch to the v2.3-release tag before running agda -i. -idoc -isrc --html index.agda from above.

[JacquesCarette]

One 'approve' from me on that PR. Nicely spotted!