Andrey Borzenkov wrote:
В Sun, 27 Oct 2013 19:24:28 +0400
Andrey Borzenkov <arvidj...@gmail.com> пишет:
That's where website lags behind. GRUB switched to GIT a while ago. See
https://savannah.gnu.org/git/?group=grub
As for web site - I do not know; Vladimir, who can edit this?
Not sure if I can commit, but - does below look sane?
The files are actually maintained via templates and a Makefile to attach
headers and footers that can be updated easily. The file that you want
to change is templates/grub-download.body.
If you do have commit privs, please do not update the html directly.
-- Bruce
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
