Page History

ve the file and close the

...

A batch file is a script file in DOS , OS/2, and Microsoft Windows. It consists of a series of commands that are executed by the command-line interpreter and are stored in a plain text file.

...

• Add the desired additional parameters (see examples in the next sections)
• Save the file and close the file
• Right-click on the icon and change its extension name form .tex to .bat. A warning message will popup on the screen. Click on ’Yes’.

...