Reported by Stefano Lattarini <stefano.lattarini@gmail.com>.
The macros @code{WIFSIGNALED}, @code{WIFEXITED}, @code{WIFSTOPPED},
@code{WTERMSIG}, @code{WEXITSTATUS}, @code{WNOHANG}, @code{WUNTRACED},
@code{WSTOPSIG} are not defined in this header file (only in
The macros @code{WIFSIGNALED}, @code{WIFEXITED}, @code{WIFSTOPPED},
@code{WTERMSIG}, @code{WEXITSTATUS}, @code{WNOHANG}, @code{WUNTRACED},
@code{WSTOPSIG} are not defined in this header file (only in
-@code{<sys/wait.h>} on some platforms:
+@code{<sys/wait.h>}) on some platforms: