summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-01-14 22:17:49 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-01-15 11:30:42 -0500
commitf6b6728d1dc92754026a7f04d26f83e2290778f4 (patch)
treeb58626ca57e12395a5ef6a97619b3d5ab671fca7 /man
parent9cc2c8b763fb4b9ddda95756a727a438a0d2a012 (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/.gitignore1
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]