Documentation

Running make gettext will override any value provided in SPHINXOPTS. The Makefile currently has gettext: SPHINXOPTS += -d build/doctrees-gettext since fb0cf7d (edited with 315a933) and it doesn't append such value, but replaces instead.

Steps to reproduce (from Doc folder):

1. make gettext # See '-d build/doctrees-gettext' added to command line
2. make gettext SPHINXOPTS='-q' # See '-q' ignored, and '-d build/doctrees-gettext' added to command line

Linked PRs

• gh-127356: Fix prepend doctrees directory for gettext target #127357
• [3.13] gh-127356: Fix prepend doctrees directory for gettext target (GH-127357) #127470
• [3.12] gh-127356: Fix prepend doctrees directory for gettext target (GH-127357) #127471