diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-06-29 12:09:14 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-07-02 23:06:22 -0400 |
| commit | 05cc726731c5cec952722f1c14acb08e3d4d5e98 (patch) | |
| tree | ff2fa1545aa2b02e2102f1f4e769e8063d5a50dd /man/systemd.special.xml | |
| parent | e9dd9f9547350c7dc0473583b5c2228dc8f0ab76 (diff) | |
man: add more formatting markup
Diffstat (limited to 'man/systemd.special.xml')
| -rw-r--r-- | man/systemd.special.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/systemd.special.xml b/man/systemd.special.xml index 4588f58999..d1cd81f1d1 100644 --- a/man/systemd.special.xml +++ b/man/systemd.special.xml @@ -1007,7 +1007,7 @@ terminate the user service manager should start this unit. If systemd receives - SIGTERM or SIGINT when running + <constant>SIGTERM</constant> or <constant>SIGINT</constant> when running as user service daemon it will start this unit.</para> |