deleted:    build.bat
	new file:   build.bat
	deleted:    doc.bat