update of jed-extra

[Jörg Sommer]

--Yylu36WmvOXNoKYn
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

G. Milde schrieb am Mon 11. Jul, 09:44 (+0200):
> On  6.07.05, J=F6rg Sommer wrote:
> > G. Milde schrieb am Wed 06. Jul, 14:09 (+0200):
> > > On  4.07.05, J=F6rg Sommer wrote:
> > > > G. Milde schrieb am Mon 04. Jul, 10:34 (+0200):
> > > =20
> > > > 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
> > >=20
> > > Upstream, jed has only JED_ROOT/lib/colors/. All other files (dfa and
> > > hlp) are distinguished by their extension.
> >=20
> > 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/.
>=20
> Hm. JED_ROOT/doc is no subdir of a library dir.=20

Yes, but where to put the documentation of non JED libs? E.g. where to
put the (not existing) documentation of site-lib?

--=20
$ cat /dev/random
#!/usr/bin/perl -WT
print "hello world\n";

--Yylu36WmvOXNoKYn
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iQEVAwUBQtLRCYZ13Cz2nwVYAQJ8Owf+JHxq4q1FPrV0ZuAj5wr33WVq0rgYekS4
l3cs6X5gJTCAgj7d1XjILisL1ixemg6Lzaf9G+gOc6sGjoM/ElYda7NWMjiNUEu8
WHOEa7VrflTVuLYlTj0paZV8uCGuxxXIsXRjA+j7f/52ZcAGH+WbmTWvnhXuuYtA
L8Zh6vzg5kpzMyJBIB4kyVYZfktHC/ZsmqAYfsX23+2kgEPXe0cfURK6gMXjTLuA
44jRfENCv9LepfTjDhL+FOI5iwu9vPhkIhCjrFvDxuoUKV0g4GkVRNxjh47ewTtc
SHMB/QIn3YSSwLn7Fp+UKa5zXjKqbkAVc53rJP9XGC4konXJSZqX9A==
=Mk7F
-----END PGP SIGNATURE-----

--Yylu36WmvOXNoKYn--