rm -f *.dtx *.ttx *.rep *.stm *.lib *.tlf *.rcx *.cns *spicedeck*
