On Wed, Jan 03, 2007 at 12:55:21PM +0100, Thomas Schwinge wrote: > I don't have a general objection against changing that practice. > > What are others's opinions?
I had similar problems when working on the sound system (which is, by the way, suspended due to bugs I'm unable to solve currently). I don't think requiring people installing those tools is a problem, but it's quite disturbing when checking diff's for developers, so my opinion is that removing those generated files from the repository and having people use autotools is a good thing. -- Richard Braun
signature.asc
Description: Digital signature
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
