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 /tools/make-man-index.py | |
| parent | 14b6bb776287e72887071dafae3d4c2c65ee926d (diff) | |
| download | systemd-db374ff564e509be86ed22667de1c245ad2c5387.tar.gz | |
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 'tools/make-man-index.py')
0 files changed, 0 insertions, 0 deletions