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 | |
| 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
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 11b539da9b..d565978266 100644 --- a/Makefile.am +++ b/Makefile.am @@ -749,9 +749,11 @@ man/index.html: man/systemd.index.html $(AM_V_LN)$(LN_S) -f systemd.index.html $@ if HAVE_PYTHON +if ENABLE_MANPAGES noinst_DATA += \ man/index.html endif +endif CLEANFILES += \ man/index.html |