chiark / gitweb /
man: generate xml not html for index
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 03:17:49 +0000 (22:17 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 16:30:42 +0000 (11:30 -0500)
commitf6b6728d1dc92754026a7f04d26f83e2290778f4
treeb58626ca57e12395a5ef6a97619b3d5ab671fca7
parent9cc2c8b763fb4b9ddda95756a727a438a0d2a012
man: generate xml not html for index

This way we also get a man page. The output is not as polished.
I hope that it doesn't matter too much.

index.html is not generated now, the page is called
systemd.index.html. If necessary, an install hook should be added.
Makefile.am
TODO
make-man-index.py
man/.gitignore