diff options
author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-12 02:11:00 -0400 |
---|---|---|
committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-12 02:11:00 -0400 |
commit | caf5e809e6f8ac96185636c224aba15431a08dc6 (patch) | |
tree | 187063d418a6a8b799b5cec4e55f954051ea3028 | |
parent | fc1ec14951cf3ebfc5a37df1f1b06fa3adac29bc (diff) |
whoops, custom-entities.ent is in $(topoutdir)/man
-rw-r--r-- | tools/xml_helper.py | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/tools/xml_helper.py b/tools/xml_helper.py index b9267b4a2e..862930e59c 100644 --- a/tools/xml_helper.py +++ b/tools/xml_helper.py @@ -31,11 +31,17 @@ class CustomResolver(tree.Resolver): basename = os.path.basename(url) if not basename in shared: return None - if basename == 'custom-entities.ent': - basename += '.in' + topsrcdir = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) - _deps.add(os.path.join('$(topsrcdir)', 'man', basename)) - return self.resolve_filename(os.path.join(topsrcdir, 'man', basename), context) + + makename = os.path.join('$(topsrcdir)', 'man', basename) + lxmlname = os.path.join(topsrcdir, 'man', basename) + if basename == 'custom-entities.ent': + makename = os.path.join('$(topoutdir)', 'man', basename) + lxmlname += '.in' + + _deps.add(makename) + return self.resolve_filename(lxmlname, context) _parser = tree.XMLParser() _parser.resolvers.add(CustomResolver()) |