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

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

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.

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

Ian.

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