let proj dom body = 
        match body with 
        | Empty_file 
        | Script_file (_) -> 
                        body
        | Html_file doclist -> 
                let doclist' = (project_doclist dom doclist []) in
                Html_file doclist'