diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-01-14 22:17:49 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-01-15 11:30:42 -0500 |
commit | f6b6728d1dc92754026a7f04d26f83e2290778f4 (patch) | |
tree | b58626ca57e12395a5ef6a97619b3d5ab671fca7 /man/bootup.xml | |
parent | 9cc2c8b763fb4b9ddda95756a727a438a0d2a012 (diff) |
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.
Diffstat (limited to 'man/bootup.xml')
0 files changed, 0 insertions, 0 deletions