summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorMichael Biebl <biebl@debian.org>2013-03-04 23:20:16 +0100
committerMichael Biebl <biebl@debian.org>2013-03-04 23:23:06 +0100
commitd51167c6268d11f02c2676693a8e9dc1b628cdbb (patch)
tree88436f2b2f06cd7c8323402d9f6bc8de7cc67d99 /man
parent135b5212d4234f5b75c9b86c9f924047c8d07589 (diff)
build-sys: build and install systemd-coredumpctl conditionally
If coredump support is disabled via --disable-coredump, do not build and install the systemd-coredumpctl binary and man page.
Diffstat (limited to 'man')
-rw-r--r--man/systemd-coredumpctl.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/systemd-coredumpctl.xml b/man/systemd-coredumpctl.xml
index ce40404da7..02b688606c 100644
--- a/man/systemd-coredumpctl.xml
+++ b/man/systemd-coredumpctl.xml
@@ -21,7 +21,7 @@
along with systemd; If not, see <http://www.gnu.org/licenses/>.
-->
-<refentry id="systemd-coredumpctl">
+<refentry id="systemd-coredumpctl" conditional='ENABLE_COREDUMP'>
<refentryinfo>
<title>systemd-coredumpctl</title>