Re: fonttextsize in lispref/elisp.texi

[Eli Zaretskii]

> 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