|
@@ -1145,12 +1145,15 @@ public class Javadoc extends Task { |
|
|
|
|
|
|
|
|
private String getJavadocExecutableName() |
|
|
private String getJavadocExecutableName() |
|
|
{ |
|
|
{ |
|
|
// This is the most common extension case - exe for windows and OS/2, |
|
|
|
|
|
|
|
|
// This is the most common extension case - exe for windows and OS/2, |
|
|
// nothing for *nix. |
|
|
// nothing for *nix. |
|
|
String os = System.getProperty("os.name").toLowerCase(); |
|
|
String os = System.getProperty("os.name").toLowerCase(); |
|
|
boolean dosBased = |
|
|
boolean dosBased = |
|
|
os.indexOf("windows") >= 0 || os.indexOf("os/2") >= 0; |
|
|
os.indexOf("windows") >= 0 || os.indexOf("os/2") >= 0; |
|
|
String extension = dosBased? ".exe" : ""; |
|
|
|
|
|
|
|
|
// for NetWare, we do not want an extension either, so we will be |
|
|
|
|
|
// "non dosBased". If this variable is ever used for other logic |
|
|
|
|
|
// besides the extension, we may need to revisit this code. |
|
|
|
|
|
String extension = dosBased? ".exe" : ""; |
|
|
|
|
|
|
|
|
// Look for javadoc in the java.home/../bin directory. Unfortunately |
|
|
// Look for javadoc in the java.home/../bin directory. Unfortunately |
|
|
// on Windows java.home doesn't always refer to the correct location, |
|
|
// on Windows java.home doesn't always refer to the correct location, |
|
|