Remove the tex manual
Manual text in dutch