diff --git a/doc/ver.xml b/doc/ver.xml
index 6b01da5e..250c5005 100644
--- a/doc/ver.xml
+++ b/doc/ver.xml
@@ -4,6 +4,10 @@
- Version 5.2 Under development
-
+
+- Corrected case of the tools.jar filename in the umlgraph shell script.
+(Noted by Øyvind Jergan).
+
- Version 5.1 2008-08-27
-
diff --git a/umlgraph b/umlgraph
index e967a166..71b90228 100755
--- a/umlgraph
+++ b/umlgraph
@@ -19,7 +19,7 @@ else
BASE=$1
FILETYPE=$2
shift 2
- java -classpath "$UMLGRAPH_HOME/UmlGraph.jar:$JAVA_HOME/lib/Tools.jar" \
+ java -classpath "$UMLGRAPH_HOME/UmlGraph.jar:$JAVA_HOME/lib/tools.jar" \
org.umlgraph.doclet.UmlGraph -package $* -output - $BASE.java |
dot -T$FILETYPE -o$BASE.$FILETYPE
fi