From a4784bbacc356d381ff833e1c181b75c30f776c6 Mon Sep 17 00:00:00 2001
From: Louie Shprung <lshprung@scu.edu>
Date: Fri, 9 Jun 2023 11:26:54 -0700
Subject: Clean up, base more on dash-docset-template, dumb down entry types
 for name-index (consider all of these directives)

---
 src/index-pages.sh | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100755 src/index-pages.sh

(limited to 'src/index-pages.sh')

diff --git a/src/index-pages.sh b/src/index-pages.sh
new file mode 100755
index 0000000..99531b7
--- /dev/null
+++ b/src/index-pages.sh
@@ -0,0 +1,35 @@
+#!/usr/bin/env sh
+
+# shellcheck source=./lib/create_table
+. "$(dirname "$0")"/lib/create_table
+# shellcheck source=./lib/insert
+. "$(dirname "$0")"/lib/insert
+
+DB_PATH="$1"
+shift
+
+get_title() {
+	FILE="$1"
+
+	pup -p -f "$FILE" 'title text{}' | \
+		tr -d \\n | \
+		sed 's/(GNU make)//g' | \
+		sed 's/\"/\"\"/g'
+}
+
+insert_pages() {
+	# Get title and insert into table for each html file
+	while [ -n "$1" ]; do
+		unset PAGE_NAME
+		unset PAGE_TYPE
+		PAGE_NAME="$(get_title "$1")"
+		PAGE_TYPE="Guide"
+		if [ -n "$PAGE_NAME" ]; then
+			insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")"
+		fi
+		shift
+	done
+}
+
+create_table "$DB_PATH"
+insert_pages "$@"
-- 
cgit