summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLouie S <louie@example.com>2023-03-11 20:35:06 -0800
committerLouie S <louie@example.com>2023-03-13 21:31:09 -0700
commitba2e24c9a7beb20281af7357f18b18aa94bd108c (patch)
tree28099cf206287f36aa5bf9234b395b02e273e47a /Makefile
parent7fb869868f708f28d5351cce0ccfe0d9e183568e (diff)
Improve HTML parsing; index the index entries
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5a0205e..8a6a2ad 100644
--- a/Makefile
+++ b/Makefile
@@ -50,6 +50,7 @@ $(INFO_PLIST_FILE): src/Info.plist $(CONTENTS_DIR)
$(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 $@