Re: [Xen-devel] [PATCH 07 of 17] docs: generate docs direct into final filename

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2011-11-24 at 17:06 +0000, Ian Jackson wrote:
> Ian Campbell writes ("[Xen-devel] [PATCH 07 of 17] docs: generate docs direct 
> into final filename"):
> > docs: generate docs direct into final filename
> > 
> > Nothing depends on the final document
> 
> ... except the user.

OK, nothing about the build depends...

> > so there is not much point in generating
> > to a tempfile and move-if-changed.
> 
> We don't want to leave half-generated documents lying around which
> aren't fixed by "make", regardless of further dependencies, surely ?

Doesn't make automatically delete the targets if the command fails?

Ian.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel