added DOS bat for making main.pdf