Add some @groups.

diff --git a/manual/examples/select.c b/manual/examples/select.c
index 2c9fd5b..def2cd6 100644 (file)
--- a/manual/examples/select.c
+++ b/manual/examples/select.c
@@ -1,13 +1,17 @@
+/*@group*/
 #include <stdio.h>
 #include <unistd.h>
 #include <sys/types.h>
 #include <sys/time.h>
+/*@end group*/
 
+/*@group*/
 int 
 input_timeout (int filedes, unsigned int seconds)
 {
   fd_set set;
   struct timeval timeout;
+/*@end group*/
 
   /* Initialize the file descriptor set. */
   FD_ZERO (&set);
@@ -17,12 +21,15 @@ input_timeout (int filedes, unsigned int seconds)
   timeout.tv_sec = seconds;
   timeout.tv_usec = 0;
 
+/*@group*/
   /* @code{select} returns 0 if timeout, 1 if input available, -1 if error. */
   return TEMP_FAILURE_RETRY (select (FD_SETSIZE,
                                     &set, NULL, NULL,
                                     &timeout));
 }
+/*@end group*/
 
+/*@group*/
 int
 main (void)
 {
@@ -30,3 +37,4 @@ main (void)
           input_timeout (STDIN_FILENO, 5));
   return 0;
 }
+/*@end group*/