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:05 +0000 (18:18 -0400)
commita257782f56e5e330349d4cc7db71e297d8396c67
treef9ba3ef3efa50a13933a73c5eb012d1439e29691
parent8c7d33a8ff6d3ea55b5dc8108d9441521af68ab8
user-guide: Allow build with sphinx < 1.8

Apparently the override argument to add_directive_to_domain was added in sphinx
1.8.
docs/users_guide/flags.py