• Ben Gamari's avatar
    users-guide: Fix build with sphinx 1.8 · 4eebc801
    Ben Gamari authored
    It seems that both add_object_type and add_directive_to_domain both register a
    directive. Previously sphinx didn't seem to mind this but as of Sphinx 1.8 it
    crashes with an exception.
    4eebc801
flags.py 20.7 KB