summaryrefslogtreecommitdiffstats
path: root/doc/user/Makefile
diff options
context:
space:
mode:
authorJoel Sherrill <joel.sherrill@OARcorp.com>1999-11-16 18:28:20 +0000
committerJoel Sherrill <joel.sherrill@OARcorp.com>1999-11-16 18:28:20 +0000
commitdc2b3376dd0e71c9f485f9429a6f81178d769cfa (patch)
tree3b150cfbfa9f71fff1bc7f5f104fb773115b42dd /doc/user/Makefile
parent1dbf307fd66ca7da50632ed80d5aee065053fbf1 (diff)
downloadrtems-dc2b3376dd0e71c9f485f9429a6f81178d769cfa.tar.bz2
Added task variable services.
Diffstat (limited to 'doc/user/Makefile')
-rw-r--r--doc/user/Makefile2
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