ref="file_formats.html">supported file formats</a>. For some exporter plugins that have various exporting options, default options are used.</p>
    <h2 id="using_batch_file_format_converter">Using the batch file format converter</h2>
    <p>You can access the converter dialog through <strong>Tools → Batch File Converter</strong>.</p>
    <img src="images/converter.png" />
    <p>In the dialog you must specify <strong>Input Folder</strong>. Input folder <em>and its subfolders</em> contain files that will 