diff options
Diffstat (limited to 'doc/user/Makefile')
-rw-r--r-- | doc/user/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile b/doc/user/Makefile index 605701b095..c165ee8daa 100644 --- a/doc/user/Makefile +++ b/doc/user/Makefile @@ -95,7 +95,7 @@ task.texi: task.t -n "Interrupt Manager" ${*}.t intr.texi: intr.t - $(BMENU) -p "Task Manager TASK_WAKE_WHEN - Wake up when specified" \ + $(BMENU) -p "Task Manager TASK_VARIABLE_DELETE - Remove per task variable" \ -u "Top" \ -n "Clock Manager" ${*}.t |