[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#336400: emacs-goodies-el: please add xdvi-search.el



Rogério Brito <rbrito@ime.usp.br> wrote:

> I think that xdvi-search.el has nothing to do with AUCTeX and only with
> TeX.
> 
> Even if one doesn't know about the existence of AUCTeX, one may be
> interested in using LaTeX documents with source specials and doing
> forward/backward searches.

Agreed.
 
> > > Now that's funny.  I'm not an AucTex power user at all.  I don't
> > > tend to use the mode to run latex and bibtex on the file I edit (I
> > > use it mainly for font-lock, not too surprisingly).
> 
> That's indeed an underuse of AUCTeX.

:-)

It's funny (and sad at the same time) because I'm the author of
font-latex.el and I'm still an (inactive) auctex developer.
 
> > > So given that fact, should I:
> > >
> (...)
> > >  or 2- Include it in emacs-goodies-el, but document in the Info file that
> > >        this can also be done using auctex exclusively.
> > > The second option might serve to advertise auctex to potential new
> > > users, so I'd vote for that.
> 
> I'd vote for this one, without any questions. Perhaps a Suggests: auctex
> would be a nice addition to the package.
> 
> > I'd also like to hear from the xdvik people what the file is meant for
> > (Emacs' built in TeX mode?  Older AUCTeX versions?), and what they think
> > about integration in AUCTeX/Emacs Goodies/Whatever.
> 
> I think that it can be used without any problems with Emacs's built-in
> mode (even though I haven't tested that).

If I build the dvi file within auctex (with source specials enabled), i
can use `M-x xdvi-jump-to-line' to preview it at the current source
location.  So that works.  I think I just document how to make the dvi
file with source specials enabled (since I've only done that through
auctex as of now) and will include it in emacs-goodies-el.

> > ¹ did that work? there's no package "tetex"
> 
> It was added by Peter, but I followed suit and it didn't bound, at
> least. :-)

Sorry about that.

-- 
Peter S. Galbraith, Debian Developer          <psg@debian.org>
                                 http://people.debian.org/~psg
GPG key 1024/D2A913A1 - 97CE 866F F579 96EE  6E68 8170 35FF 799E



Reply to: