diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/index-pages.sh | 13 |
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")" |