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.