diff options
| author | Benjamin Ragheb <ben@benzado.com> | 2022-11-05 13:14:19 -0400 |
|---|---|---|
| committer | Benjamin Ragheb <ben@benzado.com> | 2022-11-05 13:14:19 -0400 |
| commit | 3c014cde4c3b533c045e6440fb509243582a3ac9 (patch) | |
| tree | 8370dbca28b20977cfd8e4b58d00469c9d7f85ed /Makefile | |
| parent | f27dc560ad3e66f99d6ccabc7d51ddf3c329354c (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 'Makefile')
0 files changed, 0 insertions, 0 deletions