add lyx from html and rename xhtml to html