diff options
| author | Benjamin Ragheb <ben@benzado.com> | 2015-05-09 17:57:45 -0400 |
|---|---|---|
| committer | Benjamin Ragheb <ben@benzado.com> | 2015-05-09 17:57:45 -0400 |
| commit | 1944a844a74312fb68277acae003da3b7d773162 (patch) | |
| tree | 41799a156a5e91f3f31c6e0cbd66ac46b25c881a /Makefile | |
Here is a script and a Makefile for generating a GNU Make docset for Dash.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 47 |
1 files changed, 47 insertions, 0 deletions
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 $@ |