2. select the files you want to export to IFC.
3. Everything that is selected will be included in the export to IFC. File → Export → IFC.
4. Select location → export.