diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-12-04 17:09:53 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-12-04 18:05:51 +0300 |
commit | 446f92362bc39e93e7b3829b0908afd7adfe0b61 (patch) | |
tree | cce5ffae4e4cc1df530d1c4fb3261462f8643cc3 /sphinx/addnodes.py | |
parent | 773568a4e2600b6a70e4239b52bd2997e0b4eceb (diff) |
Install abbreviation node forcedly
Diffstat (limited to 'sphinx/addnodes.py')
-rw-r--r-- | sphinx/addnodes.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/addnodes.py b/sphinx/addnodes.py index 6bee340c6..d907f617a 100644 --- a/sphinx/addnodes.py +++ b/sphinx/addnodes.py @@ -389,7 +389,7 @@ def setup(app): app.add_node(download_reference) app.add_node(literal_emphasis) app.add_node(literal_strong) - app.add_node(abbreviation) + app.add_node(abbreviation, override=True) app.add_node(manpage) return { |