Le Thursday 15 November 2007 21:43:52 Alexandre Boeglin, vous avez écrit : > Actually I think that calling make should be enough tu rebuild the .mk > file. Else, you can just remove the .mk file and invoke make to have it > rebuilt from the .rmk file.
AFAIK, you must invoke ./autogen.sh to regenerate .mk files. -- Vincent Pelletier
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Grub-devel mailing list Grub-devel@gnu.org http://lists.gnu.org/mailman/listinfo/grub-devel
