diff options
author | Louie Shprung <lshprung@tutanota.com> | 2024-07-12 18:12:13 -0400 |
---|---|---|
committer | Louie Shprung <lshprung@tutanota.com> | 2024-07-12 18:12:13 -0400 |
commit | 95d98c95e84891b2809ce88bb6640e6881357451 (patch) | |
tree | 1eabb07dbce951492afc939dc75e6efb9a59e42e /src/scripts | |
parent | 95ece0ad7ff78f3665b4fd3b7ba1e406cdfef455 (diff) |
Add Gnu Bison
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/gnu/index-terms.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/gnu/index-terms.sh b/src/scripts/gnu/index-terms.sh index 0eaffa7..e82aff2 100755 --- a/src/scripts/gnu/index-terms.sh +++ b/src/scripts/gnu/index-terms.sh @@ -23,7 +23,7 @@ insert_index_terms() { insert_term() { LINK="$1" - NAME="$(echo "$LINK" | pup -p 'a text{}' | sed 's/\"\"//g' | tr -d \\n)" + 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" |