summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-05-01Rewrite in POSIX shell; index entries from the index pagesLouie S
2022-11-05Merge pull request #3 from benzado/newer-doc-titlesBenjamin Ragheb
Newer document titles
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
2022-11-04Replaced 'mkdir' with 'mkdir -p'Louie S
2015-05-09Add Makefile target to generate tgz archive of docsetBenjamin Ragheb
Also fix and update .gitignore
2015-05-09Here is a script and a Makefile for generating a GNU Make docset for Dash.Benjamin Ragheb