From 328901d1840f785ab7fde5f41fca6d7a5b96499c Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Fri, 12 Sep 2008 15:26:53 +0000
Subject: [PATCH] Corrected case of the tools.jar filename in the umlgraph
 shell script.

---
 doc/ver.xml | 4 ++++
 umlgraph    | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/ver.xml b/doc/ver.xml
index 6b01da5..250c500 100644
--- a/doc/ver.xml
+++ b/doc/ver.xml
@@ -4,6 +4,10 @@
 <dl>
 
 <dt>Version 5.2 Under development </dt><dd>
+<ul>
+<li> Corrected case of the tools.jar filename in the umlgraph shell script.
+(Noted by &#216;yvind Jergan).
+</li>
 </dd>
 
 <dt>Version 5.1 2008-08-27 </dt><dd>
diff --git a/umlgraph b/umlgraph
index e967a16..71b9022 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