Replaced doc format with latex.

Github doesn't like html.