deleted:    tool/autodir.bat
	deleted:    tool/framework.bat
	deleted:    tool/hightlight.php