This is an old revision of the document!
Exporting is an important feature within Repeaterbook.
You can export in many different formats.