diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 8a6a2ad..0000000 --- a/Makefile +++ /dev/null @@ -1,56 +0,0 @@ -DOCSET_NAME = GNU_Bison - -DOCSET_DIR = $(DOCSET_NAME).docset -CONTENTS_DIR = $(DOCSET_DIR)/Contents -RESOURCES_DIR = $(CONTENTS_DIR)/Resources -DOCUMENTS_DIR = $(RESOURCES_DIR)/Documents - -INFO_PLIST_FILE = $(CONTENTS_DIR)/Info.plist -INDEX_FILE = $(RESOURCES_DIR)/docSet.dsidx -ICON_FILE = $(DOCSET_DIR)/icon.png -ARCHIVE_FILE = $(DOCSET_NAME).tgz - -MANUAL_URL = https://www.gnu.org/software/bison/manual/bison.html_node.tar.gz -MANUAL_FILE = tmp/bison.html_node.tar.gz - -DOCSET = $(INFO_PLIST_FILE) $(INDEX_FILE) $(ICON_FILE) - -all: $(DOCSET) - -archive: $(ARCHIVE_FILE) - -clean: - rm -rf $(DOCSET_DIR) $(ARCHIVE_FILE) - -tmp: - mkdir -p $@ - -$(ARCHIVE_FILE): $(DOCSET) - tar --exclude='.DS_Store' -czf $@ $(DOCSET_DIR) - -$(MANUAL_FILE): tmp - curl -o $@ $(MANUAL_URL) - -$(DOCSET_DIR): - mkdir -p $@ - -$(CONTENTS_DIR): $(DOCSET_DIR) - mkdir -p $@ - -$(RESOURCES_DIR): $(CONTENTS_DIR) - mkdir -p $@ - -$(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE) - mkdir -p $@ - tar -x -z -f $(MANUAL_FILE) -C $@ - -$(INFO_PLIST_FILE): src/Info.plist $(CONTENTS_DIR) - cp src/Info.plist $@ - -$(INDEX_FILE): src/index.sh $(DOCUMENTS_DIR) - rm -f $@ - src/index.sh $@ $(DOCUMENTS_DIR)/*.html - src/index.sh -i $@ $(DOCUMENTS_DIR)/Index-of-Terms.html - -$(ICON_FILE): src/icon.png $(DOCSET_DIR) - cp src/icon.png $@ |