doc/manual/manual.texi
changeset 3708 2ecac911b3ec
parent 3707 857ef81c572d
child 3979 dee10444d76e
--- a/doc/manual/manual.texi	Sat Sep 20 15:45:31 2008 -0700
+++ b/doc/manual/manual.texi	Sun Sep 21 13:10:08 2008 -0700
@@ -81,6 +81,7 @@
 * Random variables::
 * Callbacks::
 * Attributes::
+* RealTime::
 * Packets::
 * Sockets APIs::
 * Node and Internet Stack::
@@ -92,6 +93,7 @@
 @include random.texi
 @include callbacks.texi
 @include attributes.texi
+@include realtime.texi
 @include packets.texi
 @include sockets.texi
 @include node.texi