===> Cleaning for tex-amsfonts-doc-3.0