Re: Revision 103117 on the Emacs trunk.

[Eli Zaretskii]

> From: address@hidden (Peter Münster)
> Date: Tue, 08 Feb 2011 09:00:17 +0100
> Cc: address@hidden
> 
> Eli Zaretskii <address@hidden> writes:
> 
> > I still think it's wrong to have a versioned file that needs to be
> > modified for some optional build.  It would be better to have the
> > Makefile create that file (as empty) as part of the build, if it
> > doesn't already exist.  Then it doesn't need to e in the repository,
> > and developers who need to invoke WEBHACKDEVEL will simply create it
> > before running Make.
> 
> 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.