===> Cleaning for tex-ebproof-doc-2.1.1