diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:47:22 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-06 17:47:22 +0000 |
commit | 1b107b335934ef1cbca81faf0eb8ee91cac9eb1a (patch) | |
tree | d48b86f7363844391983f1fd98f8487e4e04c182 | |
parent | 1a08168b50e805ac252f051b5225c9ccabcc5587 (diff) |
(startup_request_notification): Doc fix.
-rw-r--r-- | hurd/startup.defs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hurd/startup.defs b/hurd/startup.defs index 4da06c8e..7b9eb442 100644 --- a/hurd/startup.defs +++ b/hurd/startup.defs @@ -42,8 +42,8 @@ routine startup_essential_task ( /* This call registers a task as "notified", which means that if the system is going down, we should told about it and get a chance to - run. A startup_dosync message (see msg.defs) will be sent to the - notify port. */ + run. A startup_dosync message (see startup_notify.defs) will be + sent to the notify port. */ routine startup_request_notification ( server: startup_t; notify_port: mach_port_t); |