- if (!runparams.export_folder.empty()) {
- // Relative pathnames starting with ../ will be sanitized
- // if exporting to a different folder
- while (file_path.substr(0, 17) == "\\lyxdot \\lyxdot /")
- file_path = file_path.substr(17, file_path.length() - 17);
- }