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 1ff456bf18..adc47be290 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -140,7 +140,7 @@ rtmon.texi: rtmon.t -n "Barrier Manager" < $< > $@ barrier.texi: barrier.t - $(BMENU2) -p "Rate Monotonic Manager RATE_MONOTONIC_GET_STATUS - Obtain status information on period" \ + $(BMENU2) -p "Rate Monotonic Manager RATE_MONOTONIC_REPORT_STATISTICS - Print period statistics report" \ -u "Top" \ -n "Board Support Packages" < $< > $@ |