On Thu, Feb 15, 2018 at 11:01:06AM +0000, Chris Lamb wrote: > > The tags file is currently used by dballe (a reverse build-dep of > > wreport) to build its documentation. > Ah, it can a) find it and b) use it despite it being gzipped? :)
Yes, because it knows where to find it and that it is gzipped. I don't mind moving it to /usr/share, for example, and shipping it non gzipped. > > I have no problem moving it to a different location than doc/, but if it > > breaks reproducibility I have a bigger problem than its install > > location. > We can always sed the tags file to remove the absolute build path. That sounds like a very good thing to do. I had not realised that doxygen tags files contained absolute paths. I consider that to be a potential leak of private data, on top of being a reproducibility issue. Enrico -- GPG key: 4096R/634F4BD1E7AD5568 2009-05-08 Enrico Zini <[email protected]>
