chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Drop src/login/uaccess.c, dead code
[elogind.git]
/
make-man-index.py
diff --git
a/make-man-index.py
b/make-man-index.py
index d38d5b63f64feaf6328a1877058d03b23f006746..d9ab5cc7525f35222de6e0c0f4f7f004b465dfc0 100755
(executable)
--- a/
make-man-index.py
+++ b/
make-man-index.py
@@
-19,7
+19,12
@@
# along with systemd; If not, see <http://www.gnu.org/licenses/>.
import collections
# along with systemd; If not, see <http://www.gnu.org/licenses/>.
import collections
-import xml.etree.ElementTree as tree
+try:
+ from lxml import etree as tree
+ PRETTY = dict(pretty_print=True)
+except ImportError:
+ import xml.etree.ElementTree as tree
+ PRETTY = {}
import sys
import re
MDASH = ' — ' if sys.version_info.major >= 3 else ' -- '
import sys
import re
MDASH = ' — ' if sys.version_info.major >= 3 else ' -- '
@@
-130,4
+135,4
@@
def make_page(xml_files):
return template
if __name__ == '__main__':
return template
if __name__ == '__main__':
- tree.dump(make_page(sys.argv[1:]))
+ tree.dump(make_page(sys.argv[1:])
, **PRETTY
)