diff options
Diffstat (limited to 'doc/user/Makefile.am')
| -rw-r--r-- | doc/user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/Makefile.am b/doc/user/Makefile.am index ef91a41d63..e7743199df 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -96,7 +96,7 @@ sem.texi: sem.t -n "Barrier Manager" < $< > $@ barrier.texi: barrier.t - $(BMENU2) -p "Semaphore Manager SEMAPHORE_FLUSH - Unblock all tasks waiting on a semaphore" \ + $(BMENU2) -p "Semaphore Manager SEMAPHORE_SET_PRIORITY - Set priority by scheduler for a semaphore" \ -u "Top" \ -n "Message Manager" < $< > $@ |