update of jed-extra

G. Milde g.milde@web.de
Mon, 11 Jul 2005 09:44:38 +0200


On  6.07.05, Jörg Sommer wrote:
> G. Milde schrieb am Wed 06. Jul, 14:09 (+0200):
> > On  4.07.05, Jörg Sommer wrote:
> > > G. Milde schrieb am Mon 04. Jul, 10:34 (+0200):
> >  
> > > Yes. Maybe we can use a uniform layout for all lib dirs:
> > > $LIB/			the directory with the sl and slc files
> > > $LIB/colors		the directory with color modes (sl+slc)
> > > $LIB/dfa/		the directory for dfa files
> > > $LIB/doc/		the directory for documentations like *.hlp
> > 
> > Upstream, jed has only JED_ROOT/lib/colors/. All other files (dfa and
> > hlp) are distinguished by their extension.
> 
> OK, no dfa. But I would introduce a directory for documentations like it
> is done with JED_ROOT/doc to make it possible move the documentation to
> /usr/share/doc/.

Hm. JED_ROOT/doc is no subdir of a library dir. 

We could mimic this with ~/.jed/doc/, but if a user wants to
keep Jed_Home_Directory as "~", ~/doc would be assumed to be jed specific.
Not nice.

> I am not sure about the help files. Are they usable without jed? Are they
> documentation or jed specific data?

Have a look yourself. Help files are normal text files with a "cheat-sheet"
for keybindings etc. Viewable with any text viewer but no valuable
documentation outside of jed. Of course you might want to print them and
stick to your monitor.

libfuns.txt is plain text as well. In the old days I had a printout in my
jed documentation folder but since I have hyperlinked help I do not use
it any more.


Günter


-- 
G.Milde web.de