From a8cc3072c4e9da8d951472854a74d7357374b5fc Mon Sep 17 00:00:00 2001
From: stfm <stfm@doclet>
Date: Wed, 22 Nov 2017 00:45:41 +0100
Subject: [PATCH] =?UTF-8?q?fix=20=E2=80=98image=20file=20not=20found?=
 =?UTF-8?q?=E2=80=99=20by=20using=20File.pathSeparator?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/main/java/org/stfm/texdoclet/TeXDoclet.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);