Hi,
I was trying to configure jde-help to see some javadoc directories in Jakarta
(the commons libraries) and I had to fix a number of problems in the process.
Here is what I did in the hopes it might help someone else:
1) Once I enabled the extra docsets pointing to the jakarta javadocs,
jde-help-symbol started to fail with a very cryptic message, something like
"wrong type, (sequencep, 2)" or something like that . I traced it down to the
method jde-help-find-javadoc, more precisely to this code:
(if jde-help-wget-tries
(concat "--tries=" jde-help-wget-tries))
I fixed by changing it to:
(if jde-help-wget-tries
(concat "--tries=" (format "%d"
jde-help-wget-tries)))
Same thing on the line below:
(if jde-help-wget-timeout
(concat "--timeout=" (format "%d"
jde-help-wget-timeout)))
2) After that step wget was still failing on me - but then it was a local
environment problem, since we use an http proxy at work. Adding a .wgetrc with
the proper info solved the problem.
It seems that jde-help tries all the docsets, even if it finds the help for the
class at point in the first one. I believe this should be optimized - it is
already a little slow as is.
Regards,
Nascif
