diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/grub-extras/lua/README | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/grub-extras/lua/README b/debian/grub-extras/lua/README new file mode 100644 index 0000000..874bd08 --- /dev/null +++ b/debian/grub-extras/lua/README @@ -0,0 +1,11 @@ + +grub-extras is meant to be used as an overlay on grub2 source tree. + +Build instructions: + + - Copy grub-extras in a subdirectory of your grub2 checkout. + For example, "grub-extras". + + - Export GRUB_CONTRIB environment variable to point to this directory. + + - Build GRUB as usual. |