Am Freitag, den 22.08.2008, 15:13 +0200 schrieb Felix Zielcke: > I don't have almost no opion at all how this should be changed. > For me, the first solution to this problem that appears is just removing > DISTLIST but that doestn't mean of course that it's the best :)
I tend now more to Robert's suggestion, so here's a little patch for autogen.sh I think the DISTLIST file could a bit helpful to remind that ./gendistlist.sh might sometimes needs an update. -- Felix Zielcke
2008-08-22 Felix Zielcke <[EMAIL PROTECTED]> * autogen.sh: Call `gendistlist.sh' to regenerate `DISTLIST'. Index: autogen.sh =================================================================== --- autogen.sh (Revision 1836) +++ autogen.sh (Arbeitskopie) @@ -8,5 +8,6 @@ echo timestamp > stamp-h.in for rmk in conf/*.rmk; do ruby genmk.rb < $rmk > `echo $rmk | sed 's/\.rmk$/.mk/'` done +./gendistlist.sh > DISTLIST exit 0
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
