From 0321402c9ebcc2ea238542586c61f54c24bb50f6 Mon Sep 17 00:00:00 2001 From: Takayuki Shimizukawa Date: Mon, 25 Aug 2014 13:37:18 +0900 Subject: [PATCH] pull request #130 has been merged by hand. --- doc/config.rst | 2 ++ doc/markup/misc.rst | 4 ++++ 2 files changed, 6 insertions(+) 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. +