bug#19989: 25.0.50; Build instructions on Windows

[Eli Zaretskii]

> Date: Sat, 15 Aug 2015 13:38:48 +0200
> From: Dani Moncayo <dmoncayo@gmail.com>
> Cc: 19989@debbugs.gnu.org
> 
> BTW, there are other ".bat" files besides 'nt/zipdist.bat'.  I wonder
> whether the are still needed:
> 
> ---------------------------
> $ find . -name '*.bat'
> ./admin/nt/dump.bat
> ./config.bat
> ./msdos/depfiles.bat
> ./nt/configure.bat
> ./nt/ftime-nostartup.bat
> ./nt/ftime.bat
> ./nt/zipdist.bat
> ---------------------------

I checked them all, and concluded they were unrelated (those in msdos/
certainly are).