this is a bit out of date.
If you’d like to export it as an exe file, type:

export [platform] [gamefile]

For example if you have a gamefile called “game.tic”, and you’d like it to be native on windows, type:

export win game.

If you’d like to export it as a html file, type:

export html [gamefile]

Hopefully anyone who’s looking at this won’t be confused.