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 | |
| parent | 24630a5f215cfc949bac6faa9864b8ed29ee4594 (diff) | |
Basic texinfo dash docset
Diffstat (limited to 'src')
| -rw-r--r-- | src/icon.png | bin | 0 -> 1617 bytes | |||
| -rwxr-xr-x | src/index.sh | 1 | ||||
| -rw-r--r-- | src/texinfo/Info.plist (renamed from src/Info.plist) | 6 |
3 files changed, 4 insertions, 3 deletions
diff --git a/src/icon.png b/src/icon.png Binary files differnew file mode 100644 index 0000000..9b18522 --- /dev/null +++ b/src/icon.png 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' } diff --git a/src/Info.plist b/src/texinfo/Info.plist index 111baae..c240c76 100644 --- a/src/Info.plist +++ b/src/texinfo/Info.plist @@ -3,11 +3,11 @@ <plist version="1.0"> <dict> <key>CFBundleIdentifier</key> - <string><!-- VALUE --></string> + <string>gnutexinfo</string> <key>CFBundleName</key> - <string><!-- VALUE --></string> + <string>GNU Texinfo</string> <key>DocSetPlatformFamily</key> - <string><!-- VALUE --></string> + <string>texinfo</string> <key>isDashDocset</key> <true/> </dict> |
