diff --git a/doc/config.rst b/doc/config.rst index 77005cfa5..26079e698 100644 --- a/doc/config.rst +++ b/doc/config.rst @@ -46,6 +46,8 @@ Important points to note: It can be used to query and change the tags (see :ref:`tags`). Use ``tags.has('tag')`` to query, ``tags.add('tag')`` and ``tags.remove('tag')`` to change. + Note that the current builder tag is not available in ``conf.py``, as it is + created *after* the builder is initialized. General configuration diff --git a/doc/markup/misc.rst b/doc/markup/misc.rst index b2e9051fd..5a391d020 100644 --- a/doc/markup/misc.rst +++ b/doc/markup/misc.rst @@ -253,3 +253,7 @@ following directive exists: .. [#] For most builders name and format are the same. At the moment only builders derived from the html builder distinguish between the builder format and the builder name. + + Note that the current builder tag is not available in ``conf.py``, it is + only available after the builder is intialized. +