diff options
| author | Louie S <louie@example.com> | 2024-07-18 18:31:52 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2024-07-18 18:31:52 -0400 |
| commit | ccdaa2e36aad155447bff51d21ea67daa6c40447 (patch) | |
| tree | af650d87da0ba4d1bf199fbc7c3562fa1b21b852 | |
| parent | 54f17b5d0468c0b470a3b7576bcd9b81306ef250 (diff) | |
| -rw-r--r-- | config.mk | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 $(SOURCE_DIR)/src/set-stylesheet.sh $(SCRIPTS_DIR)/gnu/index-terms.sh $(DOCUMENTS_DIR) +$(INDEX_FILE): $(SOURCE_DIR)/src/index-pages.sh $(SOURCE_DIR)/src/set-stylesheet.sh $(SCRIPTS_DIR)/gnu/index-terms-colon.sh $(DOCUMENTS_DIR) rm -f $@ $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html ifneq ($(NO_CSS),yes) @@ -18,5 +18,5 @@ ifneq ($(NO_CSS),yes) else $(SOURCE_DIR)/src/set-stylesheet.sh "no" $(DOCUMENTS_DIR)/*.html endif - $(SCRIPTS_DIR)/gnu/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html - $(SCRIPTS_DIR)/gnu/index-terms.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html + $(SCRIPTS_DIR)/gnu/index-terms-colon.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html + $(SCRIPTS_DIR)/gnu/index-terms-colon.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html |