From 1944a844a74312fb68277acae003da3b7d773162 Mon Sep 17 00:00:00 2001
From: Benjamin Ragheb <ben@benzado.com>
Date: Sat, 9 May 2015 17:57:45 -0400
Subject: Here is a script and a Makefile for generating a GNU Make docset for
 Dash.

---
 Makefile | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..c6240a0
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,47 @@
+DOCSET_NAME = GNU_Make
+
+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
+
+MANUAL_URL  = http://www.gnu.org/software/make/manual/make.html_node.tar.gz
+MANUAL_FILE = tmp/make.html_node.tar.gz
+
+all: $(INFO_PLIST_FILE) $(INDEX_FILE) $(ICON_FILE)
+
+clean:
+	rm -rf $(DOCSET_DIR)
+
+tmp:
+	mkdir $@
+
+$(MANUAL_FILE): tmp
+	curl -o $@ $(MANUAL_URL)
+
+$(DOCSET_DIR):
+	mkdir $@
+
+$(CONTENTS_DIR): $(DOCSET_DIR)
+	mkdir $@
+
+$(RESOURCES_DIR): $(CONTENTS_DIR)
+	mkdir $@
+
+$(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE)
+	mkdir $@
+	tar -x -z -f $(MANUAL_FILE) -C $@
+
+$(INFO_PLIST_FILE): src/Info.plist $(CONTENTS_DIR)
+	cp src/Info.plist $@
+
+$(INDEX_FILE): src/index.rb $(DOCUMENTS_DIR)
+	rm -f $@
+	ruby src/index.rb $(DOCUMENTS_DIR)/*.html | sqlite3 $@
+
+$(ICON_FILE): src/icon.png $(DOCSET_DIR)
+	cp src/icon.png $@
-- 
cgit