From d7ce7c21ad5fe18b7d0a4e6a496cce2783a50d1e Mon Sep 17 00:00:00 2001
From: Louie S <louie@example.com>
Date: Fri, 5 May 2023 19:16:11 -0700
Subject: First commit for glibc docset

---
 src/Info.plist       |   8 +++++---
 src/icon.png         | Bin 0 -> 1617 bytes
 src/index-page.sh    |  35 +++++++++++++++++++++++++++++++++++
 src/index-terms.sh   |  33 +++++++++++++++++++++++++++++++++
 src/index.sh         |  43 -------------------------------------------
 src/lib/create_table |   7 +++++++
 src/lib/insert       |   8 ++++++++
 7 files changed, 88 insertions(+), 46 deletions(-)
 create mode 100644 src/icon.png
 create mode 100755 src/index-page.sh
 create mode 100755 src/index-terms.sh
 delete mode 100755 src/index.sh
 create mode 100644 src/lib/create_table
 create mode 100644 src/lib/insert

(limited to 'src')

diff --git a/src/Info.plist b/src/Info.plist
index 111baae..d306013 100644
--- a/src/Info.plist
+++ b/src/Info.plist
@@ -3,12 +3,14 @@
 <plist version="1.0">
 <dict>
 	<key>CFBundleIdentifier</key>
-	<string><!-- VALUE --></string>
+	<string>glibc</string>
 	<key>CFBundleName</key>
-	<string><!-- VALUE --></string>
+	<string>GNU C Library</string>
 	<key>DocSetPlatformFamily</key>
-	<string><!-- VALUE --></string>
+	<string>glibc</string>
 	<key>isDashDocset</key>
 	<true/>
+	<key>dashIndexFilePath</key>
+	<string>libc/index.html</string>
 </dict>
 </plist>
diff --git a/src/icon.png b/src/icon.png
new file mode 100644
index 0000000..9b18522
Binary files /dev/null and b/src/icon.png differ
diff --git a/src/index-page.sh b/src/index-page.sh
new file mode 100755
index 0000000..a57fd07
--- /dev/null
+++ b/src/index-page.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{}' | \
+		sed 's/ (The GNU C Library)//g' | \
+		tr -d \\n | \
+		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 "$@"
diff --git a/src/index-terms.sh b/src/index-terms.sh
new file mode 100755
index 0000000..f74af03
--- /dev/null
+++ b/src/index-terms.sh
@@ -0,0 +1,33 @@
+#!/usr/bin/env sh
+
+# shellcheck source=./lib/create_table
+. "$(dirname "$0")"/lib/create_table
+# shellcheck source=./lib/insert
+. "$(dirname "$0")"/lib/insert
+
+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 "$@"
diff --git a/src/index.sh b/src/index.sh
deleted file mode 100755
index 35ed08c..0000000
--- a/src/index.sh
+++ /dev/null
@@ -1,43 +0,0 @@
-#!/usr/bin/env sh
-
-DB_PATH="$1"
-shift
-
-create_table() {
-	sqlite3 "$DB_PATH" "CREATE TABLE IF NOT EXISTS searchIndex(id INTEGER PRIMARY KEY, name TEXT, type TEXT, path TEXT);"
-	sqlite3 "$DB_PATH" "CREATE UNIQUE INDEX IF NOT EXISTS anchor ON searchIndex (name, type, path);"
-}
-
-
-get_title() {
-	FILE="$1"
-
-	pup -p -f "$FILE" 'title text{}' | \
-		tr -d \\n | \
-		sed 's/\"/\"\"/g'
-}
-
-insert() {
-	NAME="$1"
-	TYPE="$2"
-	PAGE_PATH="$3"
-
-	sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"$PAGE_PATH\");"
-}
-
-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 "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")"
-		fi
-		shift
-	done
-}
-
-create_table
-insert_pages "$@"
diff --git a/src/lib/create_table b/src/lib/create_table
new file mode 100644
index 0000000..a783c50
--- /dev/null
+++ b/src/lib/create_table
@@ -0,0 +1,7 @@
+create_table() {
+	DB_PATH="$1"
+
+	sqlite3 "$DB_PATH" "CREATE TABLE IF NOT EXISTS searchIndex(id INTEGER PRIMARY KEY, name TEXT, type TEXT, path TEXT);"
+	sqlite3 "$DB_PATH" "CREATE UNIQUE INDEX IF NOT EXISTS anchor ON searchIndex (name, type, path);"
+}
+
diff --git a/src/lib/insert b/src/lib/insert
new file mode 100644
index 0000000..baa13bd
--- /dev/null
+++ b/src/lib/insert
@@ -0,0 +1,8 @@
+insert() {
+	DB_PATH="$1"
+	NAME="$2"
+	TYPE="$3"
+	PAGE_PATH="$4"
+
+	sqlite3 "$DB_PATH" "INSERT INTO searchIndex(name, type, path) VALUES (\"$NAME\",\"$TYPE\",\"libc/$PAGE_PATH\");"
+}
-- 
cgit