for i in Makefile.*; do make -f $i clean; done
rm -Rf *.html
rm -Rf Makefile.*
