diff options
Diffstat (limited to 'doc/posix_users/Makefile')
-rw-r--r-- | doc/posix_users/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/posix_users/Makefile b/doc/posix_users/Makefile index aa588b528d..d78f3413b1 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 + systemdb.texi thread.texi timer.texi FILES= posix_users.texi preface.texi \ $(COMMON_FILES) $(GENERATED_FILES) @@ -109,6 +109,11 @@ clock.texi: clock.t Makefile -u "Top" \ -n "" ${*}.t +timer.texi: timer.t Makefile + $(BMENU) -p "" \ + -u "Top" \ + -n "" ${*}.t + sched.texi: sched.t Makefile $(BMENU) -p "" \ -u "Top" \ |