diff options
| author | Louie S <louie@example.com> | 2023-09-15 09:50:45 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2023-09-15 09:50:45 -0400 |
| commit | e7eda80bcdf575188ab98a4454a4515217967990 (patch) | |
| tree | 97a25659832d089da8487500a35e34299a146459 /grub-Makefile | |
| parent | a1c45a5d707095f503ff94981d91bfceb26f14c4 (diff) | |
Add multiboot target
Diffstat (limited to 'grub-Makefile')
| -rw-r--r-- | grub-Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grub-Makefile b/grub-Makefile index 135c430..bcf896d 100644 --- a/grub-Makefile +++ b/grub-Makefile @@ -76,7 +76,7 @@ $(INFO_PLIST_FILE): $(SRC_PLIST) $(CONTENTS_DIR) $(INDEX_FILE): $(PAGE_INDEXING_SCRIPT) $(TERM_INDEXING_SCRIPT) $(DOCUMENTS_DIR) rm -f $@ - $(PAGE_INDEXING_SCRIPT) $@ $(DOCUMENTS_DIR)/*.html + $(PAGE_INDEXING_SCRIPT) grub $@ $(DOCUMENTS_DIR)/*.html $(TERM_INDEXING_SCRIPT) Entry $@ $(DOCUMENTS_DIR)/Index.html $(ICON_FILE): src/icon.png $(DOCSET_DIR) |