Latex Margin

[sha...@gmail.com]

Hi,

Is there a way of setting the page margins when producing a PDF document from a TLA+ spec? I know i can do this by editing the tex file that the toolkit produces but i am hoping to find a way of having the toolkit do this for me.

thank you for your help.

-Alex