diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-06-22 13:38:48 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-06-22 15:30:19 -0400 |
| commit | dfdd0e0730385eef08f019863fd41168b05b6ab0 (patch) | |
| tree | 57bf6b7f19bc0cc847c28fb83271e43c4bfc590c /Makefile-man.am | |
| parent | bfff8f072d4ddbf0410aae80c62cd6ee5ebc0701 (diff) | |
Add systemd-coredumpctl as an alias for coredumpctl
Should make the transition easier for exisiting users.
Diffstat (limited to 'Makefile-man.am')
| -rw-r--r-- | Makefile-man.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile-man.am b/Makefile-man.am index 1e4ec6793..edea4c365 100644 --- a/Makefile-man.am +++ b/Makefile-man.am @@ -666,8 +666,10 @@ if ENABLE_COREDUMP MANPAGES += \ man/coredumpctl.1 MANPAGES_ALIAS += \ - # - + man/systemd-coredumpctl.1 +man/systemd-coredumpctl.1: man/coredumpctl.1 +man/systemd-coredumpctl.html: man/coredumpctl.html + $(html-alias) endif |