Move index-terms.sh to shared scripts

2 files changed, 3 insertions, 36 deletions

diff --git a/config.mk b/config.mk
index 9af9455..63999c7 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): $(wildcard $(SOURCE_DIR)/src/*.sh) $(wildcard $(SCRIPTS_DIR)/*.sh) $(DOCUMENTS_DIR)
+$(INDEX_FILE): $(SOURCE_DIR)/src/index-pages.sh $(SOURCE_DIR)/src/set-stylesheet.sh $(SCRIPTS_DIR)/gnu/index-terms.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
-	$(SOURCE_DIR)/src/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html
-	$(SOURCE_DIR)/src/index-terms.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html
+	$(SCRIPTS_DIR)/gnu/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html
+	$(SCRIPTS_DIR)/gnu/index-terms.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html
diff --git a/src/index-terms.sh b/src/index-terms.sh
deleted file mode 100755
index c9344d4..0000000
--- a/src/index-terms.sh
+++ /dev/null
@@ -1,33 +0,0 @@
-#!/usr/bin/env sh
-
-# shellcheck source=../../../scripts/create_table.sh
-. "$(dirname "$0")"/../../../scripts/create_table.sh
-# shellcheck source=../../../scripts/insert.sh
-. "$(dirname "$0")"/../../../scripts/insert.sh
-
-TYPE="$1"
-shift
-DB_PATH="$1"
-shift
-
-insert_index_terms() {
-	# Get each term from an index page and insert
-	while [ -n "$1" ]; do
-		grep -Eo "<a href.*</a>:" "$1" | while read -r line; do
-			insert_term "$line"
-		done
-
-		shift
-	done
-}
-
-insert_term() {
-	LINK="$1"
-	NAME="$(echo "$LINK" | pup -p 'a text{}' | sed 's/\"\"//g' | tr -d \\n)"
-	PAGE_PATH="$(echo "$LINK" | pup -p 'a attr{href}')"
-
-	insert "$DB_PATH" "$NAME" "$TYPE" "$PAGE_PATH"
-}
-
-create_table "$DB_PATH"
-insert_index_terms "$@"