fix ‘image file not found’ by using File.pathSeparator

This commit is contained in:
stfm
2017-11-22 00:45:41 +01:00
parent a5bdd8ab46
commit a8cc3072c4

View File

@@ -2239,7 +2239,7 @@ public class TeXDoclet extends Doclet {
}
}
StringTokenizer sourcepathToken = new StringTokenizer(sourcepath, ";");
StringTokenizer sourcepathToken = new StringTokenizer(sourcepath, File.pathSeparator);
while (sourcepathToken.hasMoreTokens()) {
String token = sourcepathToken.nextToken();
System.out.println("Checking source path: " + token);