diff options
| author | Louie S <louie@example.com> | 2023-09-14 13:43:25 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2023-09-14 13:43:25 -0400 |
| commit | bc3a8e65382af25a44049d1de8fa96647cd325e1 (patch) | |
| tree | cb68b14921ba482108850a3e7627d91c9592ea26 /src/index.sh | |
| parent | 24630a5f215cfc949bac6faa9864b8ed29ee4594 (diff) | |
Basic texinfo dash docset
Diffstat (limited to 'src/index.sh')
| -rwxr-xr-x | src/index.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/index.sh b/src/index.sh index 0b6e693..7a1b60d 100755 --- a/src/index.sh +++ b/src/index.sh @@ -13,6 +13,7 @@ get_title() { pup -p -f "$FILE" 'title text{}' | \ tr -d \\n | \ + sed 's/(GNU[^)]*)$//' | \ sed 's/\"/\"\"/g' } |