diff options
| author | Louie S <louie@example.com> | 2023-09-15 10:11:41 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2023-09-15 10:11:41 -0400 |
| commit | d44e7f620f4970ab72bd7979cd8751857f683915 (patch) | |
| tree | 72518b296a6877ce063430779687ee9896640974 /texinfo-Makefile | |
| parent | d4bd46635fe9a74bf35812ee5b635af177e74cfc (diff) | |
Diffstat (limited to 'texinfo-Makefile')
| -rw-r--r-- | texinfo-Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/texinfo-Makefile b/texinfo-Makefile index 581dfc0..52ea1b2 100644 --- a/texinfo-Makefile +++ b/texinfo-Makefile @@ -1,4 +1,5 @@ DOCSET_NAME = GNU_Texinfo +SIMPLE_NAME = texinfo 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/texinfo/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) $@ $(DOCUMENTS_DIR)/*.html + $(PAGE_INDEXING_SCRIPT) $(SIMPLE_NAME) $@ $(DOCUMENTS_DIR)/*.html $(TERM_INDEXING_SCRIPT) Command $@ $(DOCUMENTS_DIR)/Command-and-Variable-Index.html $(TERM_INDEXING_SCRIPT) Entry $@ $(DOCUMENTS_DIR)/General-Index.html |