diff options
author | Michael Biebl <mbiebl@gmail.com> | 2017-04-30 18:21:59 +0200 |
---|---|---|
committer | Martin Pitt <martinpitt@users.noreply.github.com> | 2017-04-30 18:21:59 +0200 |
commit | db374ff564e509be86ed22667de1c245ad2c5387 (patch) | |
tree | 24a6696024f578304f51ec848667d80bde216749 /man/sd_journal_get_usage.xml | |
parent | 14b6bb776287e72887071dafae3d4c2c65ee926d (diff) |
build-sys: don't generate index.html with --disable-manpages (#5865)
Don't generate man/index.html and the dependent man/systemd.index.html
if man pages have been disabled.
Closes #5854
Diffstat (limited to 'man/sd_journal_get_usage.xml')
0 files changed, 0 insertions, 0 deletions