diff options
author | Mark Wielaard <mark@klomp.org> | 2009-01-22 22:16:15 +0000 |
---|---|---|
committer | Mark Wielaard <mark@klomp.org> | 2009-01-22 22:16:15 +0000 |
commit | c37f223de173f77a778d4e730087a2376c69d76c (patch) | |
tree | 69b5c7df2bae557a8608d27840ddf55caed17509 /tools | |
parent | 025e33eb7b47679fa2e5faf37db3ce19ef0f1ed1 (diff) | |
download | classpath-c37f223de173f77a778d4e730087a2376c69d76c.tar.gz |
* tools/gnu/classpath/tools/gjdoc/Main.java (getGjdocVersion):
Read version.properties from package.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/gnu/classpath/tools/gjdoc/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gnu/classpath/tools/gjdoc/Main.java b/tools/gnu/classpath/tools/gjdoc/Main.java index 6c2c77e5b..d1316b341 100644 --- a/tools/gnu/classpath/tools/gjdoc/Main.java +++ b/tools/gnu/classpath/tools/gjdoc/Main.java @@ -1827,7 +1827,7 @@ public final class Main if (null == gjdocVersion) { try { Properties versionProperties = new Properties(); - versionProperties.load(getClass().getResourceAsStream("/version.properties")); + versionProperties.load(getClass().getResourceAsStream("version.properties")); gjdocVersion = versionProperties.getProperty("gjdoc.version"); } catch (IOException ignore) { |