@FILES
  {@EMPTY "regexp-lib-part"; "Regular Expression Library";
    @SECTION "The Regular expression Library" {
       @FILE "regexp-intro"
       @FILE "regexp-sig"
       @FILE "parser-sig"
       @FILE "engine-sig"
       @FILE "regexp-fn"
       @FILE "match-tree"
       @FILE "syntax"
    }
  }
