diff options
author | William Desportes <williamdes@wdes.fr> | 2020-04-12 12:46:28 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2020-04-12 12:46:39 +0300 |
commit | 41c1e360d4c162a28e8c6f0949f47aaf467cb2cd (patch) | |
tree | bc11b7bd320d51929b125910fd7581d49c5a7019 /doc/intro.rst | |
parent | a72ab7253669493e63f5cf2daebc366eecc88d9c (diff) |
Fix documentation term not in glossary warnings after Sphinx >=v3.0.0
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'doc/intro.rst')
-rw-r--r-- | doc/intro.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/intro.rst b/doc/intro.rst index d81b00e0ee..105e233207 100644 --- a/doc/intro.rst +++ b/doc/intro.rst @@ -73,7 +73,7 @@ be valid MySQL users. .. [#f1] - phpMyAdmin can compress (:term:`Zip`, :term:`GZip` or :term:`RFC 1952` + phpMyAdmin can compress (:term:`ZIP`, :term:`GZip` or :term:`RFC 1952` formats) dumps and :term:`CSV` exports if you use PHP with :term:`Zlib` support (``--with-zlib``). Proper support may also need changes in :file:`php.ini`. |