summaryrefslogtreecommitdiff
path: root/src/index.sh
diff options
context:
space:
mode:
authorBenjamin Ragheb <ben@benzado.com>2022-11-05 13:14:19 -0400
committerBenjamin Ragheb <ben@benzado.com>2022-11-05 13:14:19 -0400
commit3c014cde4c3b533c045e6440fb509243582a3ac9 (patch)
tree8370dbca28b20977cfd8e4b58d00469c9d7f85ed /src/index.sh
parentf27dc560ad3e66f99d6ccabc7d51ddf3c329354c (diff)
Accomodate titles in newer GNU make versions
@lshprung identified that newer versions of GNU make docs have titles with a suffix of "(GNU make)" instead of a prefix of "GNU make:". This change extracts any HTML title, and then removes either prefix or suffix, if found.
Diffstat (limited to 'src/index.sh')
0 files changed, 0 insertions, 0 deletions