Quoting Samuel Thibault (2014-04-11 22:25:26) > Justus Winter, le Fri 11 Apr 2014 15:34:09 +0200, a écrit : > > -DIST_FILES = ourdevice.defs notify.defs > > +DIST_FILES = device.defs notify.defs > > Mmm, why keeping device.defs? Shouldn't we be using the one from > gnumach?
Actually, since [0] noone even looks at DIST_FILES anymore. 0: 50bfb9acf98d5f4c0c5948cc28285e990b40b659 Justus
