From e3665a5e562206c5d91e4c584cec888bfb2b76b2 Mon Sep 17 00:00:00 2001 From: Louie S Date: Thu, 18 Jul 2024 18:29:33 -0400 Subject: Accomodate modification to index-terms.sh --- config.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config.mk b/config.mk index 66d8138..c2b0655 100644 --- a/config.mk +++ b/config.mk @@ -10,7 +10,7 @@ $(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE) mkdir -p $@ tar -x -z -f $(MANUAL_FILE) -C $@ -$(INDEX_FILE): $(SOURCE_DIR)/src/index-pages.sh $(SCRIPTS_DIR)/gnu/index-terms.sh $(DOCUMENTS_DIR) +$(INDEX_FILE): $(SOURCE_DIR)/src/index-pages.sh $(SCRIPTS_DIR)/gnu/index-terms-colon.sh $(DOCUMENTS_DIR) rm -f $@ $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html - $(SCRIPTS_DIR)/gnu/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Index-of-Terms.html + $(SCRIPTS_DIR)/gnu/index-terms-colon.sh "Entry" $@ $(DOCUMENTS_DIR)/Index-of-Terms.html -- cgit