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