diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2012-07-18 16:14:24 +0200 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2012-07-21 07:55:36 +0200 |
commit | a804b788a89a881260c4d4c7eccc1677f27c54af (patch) | |
tree | 372f4a1cac7f9843ce8ba8396efc8900abf5fcc4 /.dir-locals.el | |
parent | 6a7353684b65f0107cbdfa0a16ab7717ba257b61 (diff) |
build-sys: fix (again) index generation in subdir
make-man-index.py doesn't care about .html files, only .xml files, so
the source list was wrong. Also, $(XML_FILES) are specified without
prefix, so compilation in sepearate build-dir was broken:
GEN man/index.html
Traceback (most recent call last):
File "../make-man-index.py", line 24, in <module>
t = parse(p)
File "/usr/lib/python2.7/xml/etree/ElementTree.py", line 1183, in parse
tree.parse(source, parser)
File "/usr/lib/python2.7/xml/etree/ElementTree.py", line 647, in parse
source = open(source, "rb")
IOError: [Errno 2] No such file or directory: 'man/systemd.xml'
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions