From 03699605e4ba3443ff3f1e34d2be9e70e152d42a Mon Sep 17 00:00:00 2001
From: Louie Shprung <lshprung@tutanota.com>
Date: Thu, 20 Jun 2024 17:26:12 -0400
Subject: Move index-terms.sh to shared scripts for GNU docsets

---
 src/configs/GNU_Autoconf       |  2 +-
 src/configs/GNU_Make           |  2 +-
 src/configs/flex               |  2 +-
 src/scripts/gnu/index-terms.sh | 33 +++++++++++++++++++++++++++++++++
 4 files changed, 36 insertions(+), 3 deletions(-)
 create mode 100755 src/scripts/gnu/index-terms.sh

diff --git a/src/configs/GNU_Autoconf b/src/configs/GNU_Autoconf
index b949528..80c4880 160000
--- a/src/configs/GNU_Autoconf
+++ b/src/configs/GNU_Autoconf
@@ -1 +1 @@
-Subproject commit b949528c9a8bb9c3c7bd6723bd81d2c917b6d50e
+Subproject commit 80c48802cda4655b21f70a6788611d27079ae556
diff --git a/src/configs/GNU_Make b/src/configs/GNU_Make
index 2f9bf49..6982df9 160000
--- a/src/configs/GNU_Make
+++ b/src/configs/GNU_Make
@@ -1 +1 @@
-Subproject commit 2f9bf497b2ccb4cb1723cd731624b0652a7b0e93
+Subproject commit 6982df93c81edae0f3b4f599c8ea753d14bd3bc7
diff --git a/src/configs/flex b/src/configs/flex
index 52d6db2..27fe420 160000
--- a/src/configs/flex
+++ b/src/configs/flex
@@ -1 +1 @@
-Subproject commit 52d6db2cc8dcb3112dff4cae4bcddbdbfbc7afd8
+Subproject commit 27fe42030ff1fbf39820ea5673f19f822957096f
diff --git a/src/scripts/gnu/index-terms.sh b/src/scripts/gnu/index-terms.sh
new file mode 100755
index 0000000..0eaffa7
--- /dev/null
+++ b/src/scripts/gnu/index-terms.sh
@@ -0,0 +1,33 @@
+#!/usr/bin/env sh
+
+# shellcheck source=../create_table.sh
+. "$(dirname "$0")"/../create_table.sh
+# shellcheck source=../insert.sh
+. "$(dirname "$0")"/../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 "$@"
-- 
cgit