summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rwxr-xr-xsrc/index-pages.sh13
1 files changed, 3 insertions, 10 deletions
diff --git a/src/index-pages.sh b/src/index-pages.sh
index 2790d0c..3c59e47 100755
--- a/src/index-pages.sh
+++ b/src/index-pages.sh
@@ -2,27 +2,20 @@
# shellcheck source=../../../scripts/create_table.sh
. "$(dirname "$0")"/../../../scripts/create_table.sh
+# shellcheck source=../../../scripts/get_title.sh
+. "$(dirname "$0")"/../../../scripts/get_title.sh
# shellcheck source=../../../scripts/insert.sh
. "$(dirname "$0")"/../../../scripts/insert.sh
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_NAME="$(get_title "$1" | sed 's/(GNU make)//g')"
PAGE_TYPE="Guide"
if [ -n "$PAGE_NAME" ]; then
insert "$DB_PATH" "$PAGE_NAME" "$PAGE_TYPE" "$(basename "$1")"