The person is confusing KoolMoves with some other tool.

Use File > Export Movie > Capture movie frames and feed those frames into standard animated gif software. There are probably several good freeware products which you can try out at www.snapfiles.com.