* Anthony Green <green@xxxxxxxxxx> [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