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'