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:25 +0000, Ian Jackson wrote:
> Ian Campbell writes ("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:
> > > 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?
> 
> Crash-only software.  Or in other words, to write reliable software,
> do not rely on actions which are supposed to happen on error cleanup
> or exit.

Also, my experiments suggest that make doesn't do this anyway (perhaps
it's only for implicit intermediaries or something).

Do you want to pickup what you can from this series having dropped this
patch and I'll repost the rest or shall I just repost the whole lot?

Ian.



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