Yes -- new config values should be made known to Sphinx via the extension
API.
Put this into your conf.py:
def setup(app):
app.add_config_value('livecd', <the default: True or False>, True)
For more, see <http://sphinx.pocoo.org/ext/appapi.html>.
cheers,
Georg
might be good to add a mention of ``app.add_config_value`` on that page
>
> cheers,
> Georg
>
> >
>
Indeed, added the reference and an example setup function.
The ifconfig docs were not updated from a different config API.
cheers,
Georg