===> Cleaning for tex-bold-extra-doc-0.1