From dc2b3376dd0e71c9f485f9429a6f81178d769cfa Mon Sep 17 00:00:00 2001
From: Joel Sherrill <joel.sherrill@OARcorp.com>
Date: Tue, 16 Nov 1999 18:28:20 +0000
Subject: Added task variable services.

---
 doc/user/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/user/Makefile')

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
 
-- 
cgit v1.2.3