diff options
| author | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2023-09-14 16:28:05 -0400 |
| commit | a1c45a5d707095f503ff94981d91bfceb26f14c4 (patch) | |
| tree | 82104b4211742936141e402aa937101f31a762c7 /src/grub-dev/Info.plist | |
| parent | bd511f431b75f21e8290aa2527d6222467e56b20 (diff) | |
Add grub-dev target
Diffstat (limited to 'src/grub-dev/Info.plist')
| -rw-r--r-- | src/grub-dev/Info.plist | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/grub-dev/Info.plist b/src/grub-dev/Info.plist new file mode 100644 index 0000000..afa6d3d --- /dev/null +++ b/src/grub-dev/Info.plist @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> +<plist version="1.0"> +<dict> + <key>CFBundleIdentifier</key> + <string>gnugrubdev</string> + <key>CFBundleName</key> + <string>GNU Grub Developers</string> + <key>DocSetPlatformFamily</key> + <string>grub-dev</string> + <key>isDashDocset</key> + <true/> +</dict> +</plist> |