From a1c45a5d707095f503ff94981d91bfceb26f14c4 Mon Sep 17 00:00:00 2001
From: Louie S <louie@example.com>
Date: Thu, 14 Sep 2023 16:28:05 -0400
Subject: Add grub-dev target

---
 src/grub-dev/Info.plist | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/grub-dev/Info.plist

(limited to 'src/grub-dev')

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>
-- 
cgit