@@ -5886,12 +5886,13 @@ (define-public restartd
(string-append #$output "/share/man/fr/man8/restartd.8")))))))
(home-page "https://launchpad.net/debian/+source/restartd")
(synopsis "Daemon for restarting processes")
- (description "This package provides a daemon for checking running and not
-running processes. It reads the /proc directory every n seconds and does a
-POSIX regexp on the process names. The daemon runs an user-provided script
-when it detects a program in the running processes, or an alternate script if
-it doesn't detect the program. The daemon can only be called by the root
-user, but can use @code{sudo -u user} in the process called if needed.")
+ (description "This package provides a daemon for checking running and
+not running processes. It reads the @file{/proc} directory every @var{n}
+seconds and does a POSIX regexp on the process names. The daemon runs a
+user-provided script when it detects a program in the running processes, or an
+alternate script if it doesn't detect the program. The daemon can only be
+called by the root user, but can use @command{sudo -u user} in the process
+called if needed.")
(license license:gpl2+))))
(define-public rex