Add a TeX version of the manual
Add ViewHT