diff options
Diffstat (limited to 'src')
| m--------- | src/configs/Flex (renamed from src/configs/flex) | 0 | ||||
| m--------- | src/configs/GNU_Bison | 0 | ||||
| -rwxr-xr-x | src/scripts/gnu/index-terms.sh | 2 |
3 files changed, 1 insertions, 1 deletions
diff --git a/src/configs/flex b/src/configs/Flex -Subproject aa014d9c128cbc95ca5d6c0522cd3704629a1f1 +Subproject aa014d9c128cbc95ca5d6c0522cd3704629a1f1 diff --git a/src/configs/GNU_Bison b/src/configs/GNU_Bison new file mode 160000 +Subproject 9db591c61e15cf1c6e3c99a7dfbb17efe2bef5b 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" |