===> Cleaning for tex-translations-doc-1.12