* Anthony Green <green(a)redhat.com> [2006-01-06 10:31]:
+javadoc_jarfile = /usr/share/java/com-sun-javadoc-0.7.7.jar
+taglet_jarfile = /usr/share/java/com-sun-tools-doclets-Taglet-0.7.7.jar
Perhaps we should make gjdoc have an unversioned jar so that this isn't
dependent upon a particular version.
Andrew