===> Cleaning for tex-prosper-doc-1.5