diff options
| author | William Deegan <bill@baddogconsulting.com> | 2022-07-30 19:14:52 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-30 19:14:52 (GMT) |
| commit | 3137a4e4534235342160f127f5df41a9e6d838e9 (patch) | |
| tree | bc867d304c7b3d7874a2607d9ce7932cc780d6fa | |
| parent | 8b1ba8d257953c1b7fe2ce962c8450f08cefd0a5 (diff) | |
| parent | ddc70dc6bc04ce06c4c02c325b8b4bb2bcf6e257 (diff) | |
| download | SCons-3137a4e4534235342160f127f5df41a9e6d838e9.zip SCons-3137a4e4534235342160f127f5df41a9e6d838e9.tar.gz SCons-3137a4e4534235342160f127f5df41a9e6d838e9.tar.bz2 | |
Merge pull request #4202 from mwichmann/doc/sphinxconf
Fix Sphinx config file error
| -rw-r--r-- | doc/sphinx/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/conf.py b/doc/sphinx/conf.py index 9db9095..e1c72a6 100644 --- a/doc/sphinx/conf.py +++ b/doc/sphinx/conf.py @@ -92,7 +92,7 @@ version = '.'.join([major, minor]) # # This is also used if you do content translation via gettext catalogs. # Usually you set "language" from the command line for these cases. -language = None +language = 'en' # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. |