[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.