     1.1 --- a/semantics.c	Mon Dec 31 08:25:04 2001 +0000
     1.2 +++ b/semantics.c	Mon Dec 31 08:25:04 2001 +0000
     1.3 @@ -42,13 +42,6 @@
     1.4  } input_image_t;
     1.5  
     1.6  
     1.7 -typedef struct bookmark_t
     1.8 -{
     1.9 -  struct bookmark_t *next;
    1.10 -  char *name;
    1.11 -} bookmark_t;
    1.12 -
    1.13 -
    1.14  typedef struct output_context_t
    1.15  {
    1.16    struct output_context_t *parent;
    1.17 @@ -84,6 +77,7 @@
    1.18  FILE *yyin;
    1.19  int line;  /* line number in spec file */
    1.20  
    1.21 +int bookmark_level;
    1.22  
    1.23  input_context_t *first_input_context;
    1.24  input_context_t *last_input_context;
    1.25 @@ -309,6 +303,7 @@
    1.26        return;
    1.27      }
    1.28  
    1.29 +  new_bookmark->level = bookmark_level;
    1.30    new_bookmark->name = name;
    1.31    if (last_output_context->first_bookmark)
    1.32      last_output_context->last_bookmark->next = new_bookmark;
    1.33 @@ -452,8 +447,7 @@
    1.34        if (page->bookmark_list)
    1.35  	{
    1.36  	  for (bookmark = page->bookmark_list; bookmark; bookmark = bookmark->next)
    1.37 -	    printf ("bookmark '%s' ", bookmark->name);
    1.38 -	  printf ("\n");
    1.39 +	    printf ("bookmark %d '%s'\n", bookmark->level, bookmark->name);
    1.40  	}
    1.41        for (i = page->range.first; i <= page->range.last; i++)
    1.42  	{