Re: Re: New on jmr: An "automatic" ~.jed home directory

[Guenter Milde <G.Milde@xxxxxxxxxxxxxxxxxxxx>]

On Wed, 13 Mar 2002 16:05:11 +0100 wrote Adam Byrtek <alpha@xxxxxxxxxxxxxxxxxxxxxx>:

> On Tue, Mar 12, 2002 at 04:39:04PM +0100, Guenter Milde wrote:
> > % make_ini.sl 
> > % A tool to set up non-standard extensions (modes and tools)for jed. 
> 
> Maybe a silly problem for you... but I can't find txtutils.sl, which
> is required by make_ini.sl, anywhere... Thanks for your help...

The same problem as in the "ishell and gnuplot problems"... :-(

I have uploaded the txtutils to jmr, so please fetch them and try again. 

Franchesco: How can I change the description of make_ini to tell it depends
on txtutils?

Guenter


--
G.Milde@xxxxxxxxxxxxxxxxxxxx


--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.