summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2022-11-05Accomodate titles in newer GNU make versionsBenjamin 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-05Fix bug that prevented path from being printedBenjamin Ragheb
2015-05-09Here is a script and a Makefile for generating a GNU Make docset for Dash.Benjamin Ragheb