diff options
Diffstat (limited to 'doc/posix_users/Makefile')
-rw-r--r-- | doc/posix_users/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/posix_users/Makefile b/doc/posix_users/Makefile index d78f3413b1..23b31af469 100644 --- a/doc/posix_users/Makefile +++ b/doc/posix_users/Makefile @@ -22,7 +22,7 @@ GENERATED_FILES= \ cspecific.texi device.texi files.texi \ io.texi key.texi memorymgmt.texi message.texi mutex.texi procenv.texi \ process.texi sched.texi semaphores.texi signal.texi status.texi \ - systemdb.texi thread.texi timer.texi + systemdb.texi thread.texi timer.texi libc.texi FILES= posix_users.texi preface.texi \ $(COMMON_FILES) $(GENERATED_FILES) @@ -164,3 +164,9 @@ status.texi: status.t Makefile -u "Top" \ -n "" ${*}.t + +libc.texi: libc.t Makefile + $(BMENU) -p "" \ + -u "Top" \ + -n "" ${*}.t + |