diff --git a/src/main/java/org/stfm/texdoclet/TeXDoclet.java b/src/main/java/org/stfm/texdoclet/TeXDoclet.java index 3372366..9e3f55e 100755 --- a/src/main/java/org/stfm/texdoclet/TeXDoclet.java +++ b/src/main/java/org/stfm/texdoclet/TeXDoclet.java @@ -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);