Include grub source code in port dumps.

dxport

@@ -405,7 +405,7 @@ dump)
     rm -rf "$dxport_builddir/dump"
     mkdir -p "$dxport_builddir/dump"
     cp "$dxportdir/dxport" "$dxport_builddir/dump"
-    for port in $dxport_all; do
+    for port in $dxport_all grub; do
         dxport_dump "$port"
     done
     ;;

grub/grub.port.sh

@@ -0,0 +1,11 @@
+# This is not an actual port and just exists so that the grub source code is
+# distributed in port dumps because the release images contain grub.
+version=2.04
+src_url=https://ftp.gnu.org/gnu/grub/grub-$version.tar.xz
+src_type=tar.xz
+src_sha256=e5292496995ad42dabe843a0192cf2a2c502e7ffcc7479398232b10a472df77d
+
+build() {
+    echo "Cannot build grub: This is not an actual port." >&2
+    return 1
+}