Rename toc.xhtml to toc.html