===> Cleaning for tex-jadetex-doc-3.13