Re: Bug#39823: tetex-bin: Texinfo tools should have their own package =(
On Mon, Jun 21, 1999 at 03:38:26PM +0200, Christoph Martin wrote:
> > > If someone supplies me with a list of the files which would go into a
> > > texinfo package, I will consider creating it.
> >
> > I'm attaching the almost complete directory listing of files texinfo
> > can provide.
> >
> > Not included are the files mentioned from the Makefile:
> >
> > WARNING: You must install texinfo.tex, txi-??.tex, and epsf.tex manually,
> > WARNING: perhaps in TEXMF/tex/texinfo/ and
> > WARNING: TEXMF/tex/generic/dvips/ respectively,
> > WARNING: where TEXMF is a root of your TeX tree.
> > WARNING: See doc/README for some considerations.
> > WARNING: You can run make TEXMF=/your/texmf install-tex to do this.
> >
> > So, if I were to include these files in a package, you'd have to tell
> > me where is $TEXMF on a Debian system :)
>
> We have info files in /usr/info
Of course, I knew that. Although they will start moving to
/usr/share/info soon.
> There are texinfo files in /usr/share/texmf/pdftex/texinfo and
> /usr/share/texmf/tex/texinfo. TEXMF is /usr/share/texmf.
So, I will do:
make TEXMF=`pwd`/debian/tmp/usr/share/texmf install-tex
That creates usr/share/texmf/tex/{texinfo,generic/dvips} directories
and those files in them. Would that be correct?
What to do with the install-info binary? IIRC dpkg provides it
already... should I just exclude it (and the manpage)?
Are there any Debian patches to texinfo stuff in teTeX package
that I should include, too?
--
enJoy -*/\*- http://jagor.srce.hr/~jrodin/
Reply to: