*** docbook.dsl.orig    2008-01-09 02:35:53.000000000 -0300
--- docbook.dsl 2008-01-09 02:35:12.000000000 -0300
***************
*** 102,110 ****
  ;(define (docelem node)
  ;  (node-propety 'document-element 
  ;    (node-property 'grove-root node)))
!    (process-children)
!    (with-mode manifest
!      (process-children))
     (if html-index
         (with-mode htmlindex
         (process-children))
--- 102,110 ----
  ;(define (docelem node)
  ;  (node-propety 'document-element 
  ;    (node-property 'grove-root node)))
! ;   (process-children)
! ;   (with-mode manifest
! ;     (process-children))
     (if html-index
         (with-mode htmlindex
         (process-children))