doc to html converter added, and BUG in title printing