Page History

...

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.

...

cd "C:\Program Files (x86)\<CompanyName>\<ProductName>\<ProductVersion>"

start "" "C:\Program Files (x86)\<CompanyName>\<ProductName>\<ProductVersion>\TStartup.exe"
/project:"C:\Projects\MyNewProject.tproj"

• 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’.

...