ReadTheDocs not updated for 3.14 release

[adamgundry]

Cabal 3.14 has been released, but https://cabal.readthedocs.io/en/stable/ still shows 3.12 as the "stable" release. Is that intended?

Moreover, the "latest" and "3.14" options show a version number of 3.13.0.0, and selecting "3.14" yields a message "This may be an old version of this documentation".

[ulysses4ever]

Was it @fgaz who last tried to fix it?

[andreasabel]

I also discovered this now, it looks like this:

The 3.13.0.0 probably stems from here:

cabal/doc/conf.py

Line 16 in 595d023

version = "3.13.0.0"

I suppose the release checklist should contain a bullet point reminding the release manager to update this version number.

[ulysses4ever]

Ah, good catch. I recently added this to fix the stable version. It hasn't been verified yet because there were no merges and hence no updates to RTD. But it looks like the latest one needs one more step, indeed.

I'm also not happy about how hard it is to find the version number in the RTD interface: it's very low contrast.

I wonder if there's some CSS that we could tweak somewhere...

And another thing I always try to find and fail is the commit SHA the docs were built from. I wonder if it's possible to put it to a prominent place.

[ulysses4ever]

Actually, docs/conf.py is covered in the release notes: https://github.com/haskell/cabal/wiki/Making-a-release#c3-bumping-version-numbers

[ulysses4ever]

This is fixed now. It was way harder than I'd hoped for. The release checklist had all the right things, they were just ignored during the release, it seems.