docs: Make the version info identical when building with Autotools (e.g. $ make html) and without (e.g. on Read the Docs)