diff --git a/manual/job.texi b/manual/job.texi
index 05a42ea820..42cb9fb26d 100644
--- a/manual/job.texi
+++ b/manual/job.texi
@@ -860,7 +860,6 @@ void
 do_job_notification (void)
 @{
   job *j, *jlast, *jnext;
-  process *p;
 
   /* @r{Update status information for child processes.}  */
   update_status ();