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 07735ffbba..7992b29005 100644 --- a/doc/user/Makefile.am +++ b/doc/user/Makefile.am @@ -159,7 +159,7 @@ conf.texi: conf.t -n "Multiprocessing Manager" < $< > $@ mp.texi: mp.t - $(BMENU2) -p "Configuring a System Unlimited Objects" \ + $(BMENU2) -p "Configuring a System Configuration Data Structures" \ -u "Top" \ -n "Stack Bounds Checker" < $< > $@ |