• Ben Gamari's avatar
    users-guide: Fix build with sphinx 1.8 · 6f717bc6
    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.
    
    (cherry picked from commit 4eebc801)
    6f717bc6
flags.py 20.5 KB