>
> Knut Wannheden <[EMAIL PROTECTED]> writes:
>
> > I have a small comment regarding jde-help. I've seen that the
> > function jde-help-symbol makes use of the function
> > jde-help-find-javadoc which checks whether a certain url exists. It
> > does that by invoking the shell command wget. I
I will put this in the JDE sources.
Thanks,
Paul
>At 03:18 PM 4/5/01 +0200, [EMAIL PROTECTED] wrote:
>> I have a small comment regarding jde-help. I've seen that the
>> function jde-help-symbol makes use of the function
>> jde-help-find-javadoc which checks whether a certain url exists. It
>>
> I have a small comment regarding jde-help. I've seen that the
> function jde-help-symbol makes use of the function
> jde-help-find-javadoc which checks whether a certain url exists. It
> does that by invoking the shell command wget. I think wget is a nice
> utility but I think it would be eve
