Produce HTML and printed documents from LaTeX source