Re: Revision 103117 on the Emacs trunk.

[Peter Münster]

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" ?
-- 
           Peter