veryclean: clean cleanlib cleanbin cleandoc

cleanlib:
	rm -rf $(TOPDIR)/lib/*

cleanbin:
	rm -rf $(TOPDIR)/bin/*

cleandoc:
	rm -rf $(TOPDIR)/doc/*