[Top][All Lists]

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

Re: fonttextsize in lispref/elisp.texi

From: Eli Zaretskii
Subject: Re: fonttextsize in lispref/elisp.texi
Date: Tue, 15 Aug 2006 00:02:32 +0300

> Cc: address@hidden, address@hidden
> From: Lute Kamstra <address@hidden>
> Date: Mon, 14 Aug 2006 10:27:39 +0200
> > Isn't it better to use -I switch to makeinfo to force it to use
> > man/texinfo.tex?
> I think so.  What about this patch?

Fine with me, but:

  1) please wait for Richart to approve it

  2) I think `mandir' is the wrong name for this, since that name is
     used for the directory where man pages are installed

> !       $(TEXI2DVI) -I $(srcdir):$(mandir) $(srcdir)/elisp.texi

  3) please use 2 separate -I switches in a row, since the `:'
     separator is not portable to non-Posix systems

reply via email to

[Prev in Thread] Current Thread [Next in Thread]