Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-11-05 | Accomodate titles in newer GNU make versions | Benjamin Ragheb | |
@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. | |||
2022-11-05 | Fix bug that prevented path from being printed | Benjamin Ragheb | |
2015-05-09 | Here is a script and a Makefile for generating a GNU Make docset for Dash. | Benjamin Ragheb | |