diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/index-pages.sh (renamed from src/index.sh) | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/index.sh b/src/index-pages.sh index 0e583e4..573604c 100755 --- a/src/index.sh +++ b/src/index-pages.sh @@ -2,20 +2,14 @@ # 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{}' | \ - sed 's/(Autoconf Archive)//g' | \ - sed 's/\"/\"\"/g' -} - get_type() { FILE="$(basename "$1")" MACRO_PATTERN="^ax_" @@ -30,7 +24,7 @@ insert_pages() { while [ -n "$1" ]; do unset PAGE_NAME unset PAGE_TYPE - PAGE_NAME="$(get_title "$1")" + PAGE_NAME="$(get_title "$1" | sed 's/(Autoconf Archive)//g')" if [ -n "$PAGE_NAME" ]; then PAGE_TYPE="$(get_type "$1")" #get_type "$1" |