How book/specification authors do manage the same document in two versions: HTML and PDF?

Question

Look at the example: http://www.r6rs.org/. Authors managed to provide two independent versions of the same content: one is in a singe PDF file (LaTeX rendered) and the secon