doc install: remove needless extention

".bat" is usually omitted.