summaryrefslogtreecommitdiff
path: root/grub-dev-Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'grub-dev-Makefile')
-rw-r--r--grub-dev-Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/grub-dev-Makefile b/grub-dev-Makefile
index e735137..0f96340 100644
--- a/grub-dev-Makefile
+++ b/grub-dev-Makefile
@@ -1,4 +1,5 @@
DOCSET_NAME = GNU_Grub_Dev
+SIMPLE_NAME = grub-dev
DOCSET_DIR = $(DOCSET_NAME).docset
CONTENTS_DIR = $(DOCSET_DIR)/Contents
@@ -11,7 +12,7 @@ ICON_FILE = $(DOCSET_DIR)/icon.png
ARCHIVE_FILE = $(DOCSET_NAME).tgz
SRC_ICON = src/icon.png
-SRC_PLIST = src/grub-dev/Info.plist
+SRC_PLIST = src/$(SIMPLE_NAME)/Info.plist
PAGE_INDEXING_SCRIPT = src/index-page.sh
TERM_INDEXING_SCRIPT = src/index-terms.sh
@@ -76,7 +77,7 @@ $(INFO_PLIST_FILE): $(SRC_PLIST) $(CONTENTS_DIR)
$(INDEX_FILE): $(PAGE_INDEXING_SCRIPT) $(TERM_INDEXING_SCRIPT) $(DOCUMENTS_DIR)
rm -f $@
- $(PAGE_INDEXING_SCRIPT) grub-dev $@ $(DOCUMENTS_DIR)/*.html
+ $(PAGE_INDEXING_SCRIPT) $(SIMPLE_NAME) $@ $(DOCUMENTS_DIR)/*.html
$(TERM_INDEXING_SCRIPT) Entry $@ $(DOCUMENTS_DIR)/Index.html
$(ICON_FILE): src/icon.png $(DOCSET_DIR)