Closed pmbittner closed 3 years ago
Concatenating java.io.Files is done by
java.io.File
File parentDir = ...; new File(parentDir , "relative/path.txt")
When parentDir is empty (e.g., new File("")), the resulting string will be /relative/path.txt whereas we assumed it to be relative/path.txt in MibTeX.
new File("")
/relative/path.txt
relative/path.txt
This PR introduces a dedicated FileUtils.concat method to fix this issue.
FileUtils.concat
Concatenating
java.io.File
s is done byWhen parentDir is empty (e.g.,
new File("")
), the resulting string will be/relative/path.txt
whereas we assumed it to berelative/path.txt
in MibTeX.This PR introduces a dedicated
FileUtils.concat
method to fix this issue.