diff options
| author | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2022-06-01 12:13:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-01 12:13:15 +0200 |
| commit | 565ad5ace46aa1e2368450701cba45dd1a95a026 (patch) | |
| tree | fd277ba8d71af2d3c0a55ef0636213eb08b3a2bb /docs/Makefile | |
| parent | f3e2bb0833105f43efc0cc6f19c8465bc1b1a785 (diff) | |
Fixed #33753 -- Fixed docs build on Sphinx 5+.
Empty language is not supported anymore.
Diffstat (limited to 'docs/Makefile')
| -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))) |