[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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |