Skip to content
GitLab
Explore
Sign in
Register
Alexis King
GHC
Repository
ghc
docs
users_guide
flags.py
Find file
Blame
History
Permalink
user-guide: Allow build with sphinx < 1.8
· a257782f
Ben Gamari
authored
Sep 20, 2018
Apparently the override argument to add_directive_to_domain was added in sphinx 1.8.
a257782f