diff options
author | Arthur de Jong <arthur@arthurdejong.org> | 2013-09-08 12:42:51 +0200 |
---|---|---|
committer | Arthur de Jong <arthur@arthurdejong.org> | 2013-09-08 12:43:17 +0200 |
commit | 58d50bf0b3c3d0a29941eb5473a9b3cfbb7d6f35 (patch) | |
tree | cf8bd9e260d149dceb6495c564bcee4d428fbd31 /man | |
parent | ce95b418bd1454a078ab1e659d8382b9298c051c (diff) |
Add configure check to see whether to install manual pages
This also reworks the manual page generation check in the configure
script and avoids build errors if no tool for generating manual pages is
present when working on a Git checkout.
Diffstat (limited to 'man')
-rw-r--r-- | man/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/Makefile.am b/man/Makefile.am index 85c148d..636d68c 100644 --- a/man/Makefile.am +++ b/man/Makefile.am @@ -24,6 +24,7 @@ PYNSLCD_MANS = pynslcd.8 ALL_MANS = $(PAM_MANS) $(UTILS_MANS) $(NSLCD_MANS) $(PYNSLCD_MANS) # figure out which manual pages to install +if INSTMAN man_MANS = if ENABLE_PAM man_MANS += $(PAM_MANS) @@ -42,6 +43,7 @@ endif endif noinst_DATA = $(ALL_MANS) EXTRA_DIST = $(ALL_MANS) $(ALL_MANS:=.xml) +endif if GENMAN |