diff options
| author | Jan Engelhardt <jengelh@inai.de> | 2014-08-03 07:11:12 +0200 |
|---|---|---|
| committer | Jan Engelhardt <jengelh@inai.de> | 2015-11-06 13:00:02 +0100 |
| commit | b938cb902c3b5bca807a94b277672c64d6767886 (patch) | |
| tree | 267bd1d61268865fa405b3e5a3027041f7f3a183 /man/systemd-random-seed.service.xml | |
| parent | a6bff4a7428b9539d85618e3c91fcb60be93f3fa (diff) | |
doc: correct punctuation and improve typography in documentation
Diffstat (limited to 'man/systemd-random-seed.service.xml')
| -rw-r--r-- | man/systemd-random-seed.service.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/systemd-random-seed.service.xml b/man/systemd-random-seed.service.xml index 8c836688fe..f3b5a947da 100644 --- a/man/systemd-random-seed.service.xml +++ b/man/systemd-random-seed.service.xml @@ -55,7 +55,7 @@ <title>Description</title> <para><filename>systemd-random-seed.service</filename> is a - service that restores the random seed of the system at early-boot + service that restores the random seed of the system at early boot and saves it at shutdown. See <citerefentry><refentrytitle>random</refentrytitle><manvolnum>4</manvolnum></citerefentry> for details. Saving/restoring the random seed across boots |