user-guide: Allow build with sphinx < 1.8
authorBen Gamari <ben@smart-cactus.org>
Thu, 20 Sep 2018 21:35:05 +0000 (17:35 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 20 Sep 2018 22:18:23 +0000 (18:18 -0400)
commitaf0bf169a4fb70b7cf371026906663df04e2023e
tree4aa0bdd954cd061814e9a3e5a7f2e8336783ea5f
parent5ed9c86134200db615908d445702522d95f9025a
user-guide: Allow build with sphinx < 1.8

Apparently the override argument to add_directive_to_domain was added in sphinx
1.8.

(cherry picked from commit a257782f56e5e330349d4cc7db71e297d8396c67)
docs/users_guide/flags.py