Re: Revision 103117 on the Emacs trunk.

[pmlists@free.fr (Peter Münster)]

Eli Zaretskii <eliz@gnu.org> writes:

>> Why not just a new target in the Makefile?
>> "make devel-pdf" and "make devel-html" ?
>
> You mean, without any files to @include in the manuals?  If so, that's
> what I suggested way back in the thread, but was told (I think by Ted)
> that the included file allowed for more than just @set directives, and
> that this additional flexibility, which is impossible to replace with
> the -DFOO options to makeinfo, is anticipated to be needed in the
> future.

I don't know makeinfo, but I know that make can do whatever you want,
for example:
- create temporary file with arbitrary content (echo ... >file)
- call makeinfo
- remove the temporary file (or not, whatever)

-- 
           Peter