diff --git a/resources/build.properties b/resources/build.properties index ab6cda8..7ffffdd 100644 --- a/resources/build.properties +++ b/resources/build.properties @@ -134,12 +134,12 @@ source.repository=https://github.com/hkiel/JavaDoc.git # This is used to compare different versions of the same Tool, and check if an # update is available. -tool.version=4 +tool.version=5 # The version as the user will see it. -tool.prettyVersion=1.0.3 +tool.prettyVersion=1.0.4 # The min and max revision of Processing compatible with your Tool. diff --git a/src/javadoc/tool/JavaDoc.java b/src/javadoc/tool/JavaDoc.java index 38ea99e..87186e4 100644 --- a/src/javadoc/tool/JavaDoc.java +++ b/src/javadoc/tool/JavaDoc.java @@ -74,13 +74,14 @@ public static List findFiles(Path path, String fileExtension) throws IOE List result; try (Stream walk = Files.walk(path)) { + System.out.println("Walking "+path.toString()); result = walk .filter(p -> !Files.isDirectory(p)) // this is a path, not string, // convert path to string first - .map(p -> p.toString().toLowerCase()) + .map(p -> p.toAbsolutePath().toString()) // this only test if pathname ends with a certain extension - .filter(f -> f.endsWith(fileExtension)) + .filter(f -> f.toLowerCase().endsWith(fileExtension)) .collect(Collectors.toList()); } @@ -97,7 +98,7 @@ private String getJarsInDir(Path path) { try { List files = findFiles(path, "jar"); if (!files.isEmpty()) { - extraLibs = isWindows?";":":" + String.join(isWindows?";":":", files); + extraLibs = (isWindows?";":":") + String.join(isWindows?";":":", files); } } catch (IOException e) { e.printStackTrace();