diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2022-06-01 12:13:15 +0200 |
|---|---|---|
| committer | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2022-06-01 12:15:06 +0200 |
| commit | bc38eafc610b30cfce40859190c24e295baa9a4b (patch) | |
| tree | 5f601a35c49e3d4f02a9ffddc5dee26600300201 | |
| parent | 067daffb95197b3d0b9642a3ff4c1fb7066acf35 (diff) | |
[4.0.x] Fixed #33753 -- Fixed docs build on Sphinx 5+.
Empty language is not supported anymore.
Backport of 565ad5ace46aa1e2368450701cba45dd1a95a026 from main
| -rw-r--r-- | docs/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 39f84ec0e3..2b44830531 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -9,6 +9,11 @@ PAPER ?= BUILDDIR ?= _build LANGUAGE ?= +# Set the default language. +ifndef LANGUAGE +override LANGUAGE = en +endif + # Convert something like "en_US" to "en", because Sphinx does not recognize # underscores. Country codes should be passed using a dash, e.g. "pt-BR". LANGUAGEOPT = $(firstword $(subst _, ,$(LANGUAGE))) |