diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2019-05-27 13:42:27 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-27 13:42:27 -0700 |
| commit | 3ae5262182ea585b5547fd3d2b60738c99262728 (patch) | |
| tree | 262f0d69a860afa40684cc4f9f686262845730cc | |
| parent | 6d54212b94d938ac27b1c7821bc4424fd4a049c0 (diff) | |
| download | spack-3ae5262182ea585b5547fd3d2b60738c99262728.tar.gz spack-3ae5262182ea585b5547fd3d2b60738c99262728.tar.bz2 spack-3ae5262182ea585b5547fd3d2b60738c99262728.tar.xz spack-3ae5262182ea585b5547fd3d2b60738c99262728.zip | |
docs: set gettext_uuid to False to reduce churn (#11567)
- `gettext_uuid=True` makes every commit update every .pot file in spack/localized-docs,
and speeds up the internationalized doc build slightly.
- Optimize for less repository churn, and use `python-levenshtein` to accelerate
the build instead.
| -rw-r--r-- | lib/spack/docs/conf.py | 2 | ||||
| -rw-r--r-- | lib/spack/docs/requirements.txt | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/lib/spack/docs/conf.py b/lib/spack/docs/conf.py index 7b5ebcbb12..44ce87d55f 100644 --- a/lib/spack/docs/conf.py +++ b/lib/spack/docs/conf.py @@ -150,7 +150,7 @@ release = spack.spack_version # Sphinx gettext settings gettext_compact = True -gettext_uuid = True +gettext_uuid = False # There are two options for replacing |today|: either, you set today to some # non-false value, then it is used: diff --git a/lib/spack/docs/requirements.txt b/lib/spack/docs/requirements.txt index ebe7267680..190b018a0b 100644 --- a/lib/spack/docs/requirements.txt +++ b/lib/spack/docs/requirements.txt @@ -4,3 +4,4 @@ sphinx==2.0.1 sphinxcontrib-programoutput==0.14 sphinx-rtd-theme==0.4.3 +python-levenshtein |