===> Cleaning for tex-xifthen-doc-1.4.0