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 | |
| 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')
| -rw-r--r-- | man/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/.gitignore b/man/.gitignore index e97cda79b3..9c5a7db1cc 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -1,2 +1,3 @@ /systemd.directives.xml +/systemd.index.xml /*.[13578] |