diff options
author | Louie S <louie@example.com> | 2023-09-15 10:03:05 -0400 |
---|---|---|
committer | Louie S <louie@example.com> | 2023-09-15 10:03:05 -0400 |
commit | 8b24f247ba26e77623a3d3d183b12b8eec849b8d (patch) | |
tree | 5827f3a477de307e4a43b56da75fa5046de9d6bc /multiboot-Makefile | |
parent | e7eda80bcdf575188ab98a4454a4515217967990 (diff) |
Diffstat (limited to 'multiboot-Makefile')
-rw-r--r-- | multiboot-Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/multiboot-Makefile b/multiboot-Makefile index 2c61c96..246f360 100644 --- a/multiboot-Makefile +++ b/multiboot-Makefile @@ -1,4 +1,5 @@ DOCSET_NAME = Multiboot +SIMPLE_NAME = multiboot 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/multiboot/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) multiboot $@ $(DOCUMENTS_DIR)/*.html + $(PAGE_INDEXING_SCRIPT) $(SIMPLE_NAME) $@ $(DOCUMENTS_DIR)/*.html $(ICON_FILE): src/icon.png $(DOCSET_DIR) cp $(SRC_ICON) $@ |