summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLuke Shumaker <lukeshu@lukeshu.com>2017-05-12 02:11:00 -0400
committerLuke Shumaker <lukeshu@lukeshu.com>2017-05-12 02:11:00 -0400
commitcaf5e809e6f8ac96185636c224aba15431a08dc6 (patch)
tree187063d418a6a8b799b5cec4e55f954051ea3028
parentfc1ec14951cf3ebfc5a37df1f1b06fa3adac29bc (diff)
whoops, custom-entities.ent is in $(topoutdir)/man
-rw-r--r--tools/xml_helper.py14
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())