* make.bat: New file.