Remove LATEX documentation. Only HTML is needed.