state of jed-extra

[G. Milde]

On  4.06.06, Jörg Sommer wrote:
> Hallo G.,
> 
> G. Milde schrieb am Wed 31. May, 16:00 (+0200):
> > Dear Jed packers,
> > 
> > * debian/rules:
> > 
> >  	# install using the generated jed-extra.install
> > 	dh_install -X.html -X.otl -X.example -XREADME
> > 
> >   The exclude options seem to be ignored when installing from jed-extra.install.
> >   The documentation files are installed into the lib directoriess anyway :-(
> 
> Which files exactly?

All files residing in the mode directories that are installed with a line like 

vi/* /usr/share/jed/jed-extra

The key is in dh_install not beeing idempotent: using dh_install to
install the mode documentation 

	dh_install $$(find . -wholename ./debian -prune -o \( -name \*.html \
	    -o -name \*.otl -name \*.example -o -name README \) -print) \
	    usr/share/doc/jed-extra/mode-doc/

evaluates the jed-extra.install file (or if nonexisten the install file)
again -- however, this time without the -X options (otherwise the mode
doc could not be installed).

I solved this by using `install` instead of dh_install, but now with the
awk-sorting the problem no longer remains (after removing the
debian/jed-extra.install rule)
 
> > * updating jed-common, jed, xjed, and jed-extra in one run failed:
> > 
> >     Running /usr/share/jed/compile/jed-common...done
> >     
> >     Setting up jed-extra (2.2-1) ...
> >     /usr/share/jed/compile/jed-extra: line 8: jed-script: command not found
> 
> Did dpkg fail?

Yes. jed-script is only available when jed 0.99.17 is configured, however
if you update both jed and jed-extra from stable, the jed-extra
installation tries to run jed-script before jed 0.99.17 is configured.


> >   Should we require a configured jed 0.99.17 or replace the call to
> >   jed-script with jed --batch?
> 
> No.

No to A or No to B?

Günter